-
1Academic Journal
المؤلفون: Pinchinat, Sophie
المساهمون: Sophie Pinchinat
مصطلحات موضوعية: Strategic reasoning, Imperfect information, chain-MSO, Automatic structures
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.2
-
2Report
المؤلفون: Knapik, Teodor
المساهمون: Institut de sciences exactes et appliquées (ISEA), Université de la Nouvelle-Calédonie (UNC)
المصدر: https://hal.science/hal-04580653 ; 2024.
مصطلحات موضوعية: parallel graph grammars, 1st order model checking, automatic structures, expanders, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
Relation: hal-04580653; https://hal.science/hal-04580653; https://hal.science/hal-04580653/document; https://hal.science/hal-04580653/file/root.pdf
-
3Academic Journal
المؤلفون: Haase, Christoph, Piórkowski, Radosław
المساهمون: Christoph Haase and Radosław Piórkowski
مصطلحات موضوعية: automatic structures, universal projection, state complexity, tiling problems
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.13
-
4Academic Journal
المؤلفون: Haase, Christoph, Mansutti, Alessio
المساهمون: Christoph Haase and Alessio Mansutti
مصطلحات موضوعية: linear arithmetic, Büchi arithmetic, p-adic numbers, automatic structures
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 202, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.55
-
5Academic Journal
المؤلفون: Berwanger, Dietmar, Doyen, Laurent
المساهمون: Dietmar Berwanger and Laurent Doyen
مصطلحات موضوعية: Infinite Games on Finite Graphs, Imperfect Information, Automatic Structures
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 154, 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2020.48
-
6Academic Journal
المؤلفون: Ganardi, Moses, Khoussainov, Bakhadyr
المساهمون: Moses Ganardi and Bakhadyr Khoussainov
مصطلحات موضوعية: automatic structures, polynomial growth, isomorphism problem
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.21
-
7Academic Journal
المؤلفون: Barceló, Pablo, Hong, Chih-Duo, Le, Xuan-Bach, Lin, Anthony W., Niskanen, Reino
المساهمون: Pablo Barceló and Chih-Duo Hong and Xuan-Bach Le and Anthony W. Lin and Reino Niskanen
مصطلحات موضوعية: Transducers, Automata, Synchronized Rational Relations, Ramsey Theory, Variable Independence, Automatic Structures
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 132, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.103
-
8Academic Journal
المؤلفون: Abu Zaid, Faried
المساهمون: Faried Abu Zaid
مصطلحات موضوعية: Automatic Structures, Model Checking, Fixed-Parameter Tractability, Algorithmic Meta Theorems
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 122, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2018.10
-
9Academic Journal
المؤلفون: Abu Zaid, Faried, Kuske, Dietrich, Lindner, Peter
المساهمون: Faried Abu Zaid and Dietrich Kuske and Peter Lindner
مصطلحات موضوعية: Automatic Structures, Complexity Theory, Model Theory
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 119, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.3
-
10Academic Journal
المؤلفون: Douéneau-Tabot, Gaëtan
المساهمون: Gaëtan Douéneau-Tabot
مصطلحات موضوعية: infinite words, advice automata, automatic structures, transducers
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 107, 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2018.122
-
11Report
المؤلفون: Haase, C
المساهمون: Leporati, A, Martín-Vide, C, Shapira, D, Zandron, C
المصدر: In: Leporati, A and Martín-Vide, C and Shapira, D and Zandron, C, (eds.) International Conference on Language and Automata Theory and Applications LATA 2020: Language and Automata Theory and Applications. (pp. pp. 33-43). Springer: Milan, Italy. (2020)
مصطلحات موضوعية: Presburger arithmetic, Büchi arithmetic, Reachability ,Automatic structures
وصف الملف: text
Relation: https://discovery.ucl.ac.uk/id/eprint/10089571/1/haa-20.pdf; https://discovery.ucl.ac.uk/id/eprint/10089571/
-
12Book
المؤلفون: Abu Zaid, Faried, Grädel, Erich, Reinhardt, Frederic
مصطلحات موضوعية: article, ddc:004, automatic structures -- algorithmic model theory -- abelian groups -- torsionfree abelian groups -- first-order logic
وصف الملف: print; Elektronische Ressource; electronic resource; remote; 20 Seiten; Computermedien; Online-Ressource
Relation: Computer Science Logic 2017 -- http://uri.gbv.de/document/gvk:ppn:896285081 -- 9783959770453 -- 10.4230/LIPIcs.CSL.2017.0 -- urn:nbn:de:0030-drops-76671 -- https://drops.dagstuhl.de/opus/volltexte/2017/7667/ -- http://zbmath.org/?q=an:1372.68009; https://doi.org/10.4230/LIPIcs.CSL.2017.35; http://uri.gbv.de/document/gvk:ppn:897387139
الاتاحة: https://doi.org/10.4230/LIPIcs.CSL.2017.35
https://nbn-resolving.org/urn:nbn:de:0030-drops-76971
https://www.db-thueringen.de/receive/dbt_mods_00040273
https://www.db-thueringen.de/servlets/MCRFileNodeServlet/dbt_derivate_00046157/1868-8969_82_2017_35.pdf
http://uri.gbv.de/document/gvk:ppn:897387139 -
13Academic Journal
المؤلفون: Le, Xuan Bach, Hobor, Aquinas, Lin, Anthony W.
المساهمون: Xuan Bach Le and Aquinas Hobor and Anthony W. Lin
مصطلحات موضوعية: Fractional Share Models, Resource Accounting, Countable Atomless Boolean Algebras, Word Equations, Tree Automatic Structures
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 65, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.19
-
14Conference
المؤلفون: Stephan, F
المساهمون: MATHEMATICS
المصدر: Unpaywall 20201031
مصطلحات موضوعية: Computational linguistics, Finite automata, Automatic structures, First order, Generalisation, Isomorphism problems, Linear time, Turing machines
Relation: Stephan, F (2015). Automatic structures - Recent results and open questions. Journal of Physics: Conference Series 622 (1) : 12013. ScholarBank@NUS Repository. https://doi.org/10.1088/1742-6596/622/1/012013; https://scholarbank.nus.edu.sg/handle/10635/180907
-
15Academic Journal
المؤلفون: Kaiser, Lukasz, Lang, Martin, Leßenich, Simon, Löding, Christof
المساهمون: Lukasz Kaiser and Martin Lang and Simon Leßenich and Christof Löding
مصطلحات موضوعية: quantitative logics, monadic second order logic, boundedness, automatic structures, tree automata
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.441
-
16Academic Journal
المؤلفون: Berwanger, Dietmar, Doyen, Laurent
المساهمون: Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)
المصدر: ISSN: 1432-4350.
مصطلحات موضوعية: Imperfect information, Automata Theory, Automatic Structures, [INFO]Computer Science [cs]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1809.05978; hal-03876610; https://hal.science/hal-03876610; ARXIV: 1809.05978
-
17Academic Journal
المؤلفون: Finkel Olivier, Todorčević Stevo
المصدر: Open Mathematics, Vol 8, Iss 2, Pp 299-313 (2010)
مصطلحات موضوعية: 03d05, 03e35, 03c52, 03b70, ω-tree-automatic structures, boolean algebras, partial orders, rings, groups, isomorphism relation, models of set theory, independence results, Mathematics, QA1-939
وصف الملف: electronic resource
Relation: https://doaj.org/toc/2391-5455
-
18Academic Journal
المؤلفون: Finkel, Olivier, Todorcevic, Stevo
المساهمون: Équipe de Logique Mathématique (ELM), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Institut de Mathématiques de Jussieu (IMJ), Université Pierre et Marie Curie - Paris 6 (UPMC)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Department of Mathematics University of Toronto, University of Toronto
المصدر: ISSN: 1548-7199.
مصطلحات موضوعية: $\omega$-tree-automatic structures, $\omega^n$-automatic structures, ordinals, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1205.1775; hal-00695443; https://hal.science/hal-00695443; https://hal.science/hal-00695443/document; https://hal.science/hal-00695443/file/Automatic-Ordinals.pdf; ARXIV: 1205.1775
الاتاحة: https://hal.science/hal-00695443
https://hal.science/hal-00695443/document
https://hal.science/hal-00695443/file/Automatic-Ordinals.pdf -
19Academic Journal
المؤلفون: Huschenbett, Martin
المساهمون: Martin Huschenbett
مصطلحات موضوعية: tree-automatic structures, linear orderings, finite condensation rank, computable model theory
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 20, 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2013.586
-
20Academic Journal
المؤلفون: Finkel, Olivier, Todorcevic, Stevo
المساهمون: Équipe de Logique Mathématique (ELM), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Department of Mathematics University of Toronto, University of Toronto
المصدر: ISSN: 0022-4812.
مصطلحات موضوعية: independence results, Automata reading ordinal words, $\omega^n$-automatic structures, $\omega$-tree-automatic structures, boolean algebras, partial orders, rings, groups, isomorphism relation, models of set theory, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1111.1504; hal-00638581; https://hal.science/hal-00638581; https://hal.science/hal-00638581/document; https://hal.science/hal-00638581/file/Hierarchy-TAS.pdf; ARXIV: 1111.1504
Full Text Finder