×

Found 1,257 Documents (Results 1–100)

100
MathJax

Certifying proofs in the first-order theory of rewriting. (English) Zbl 1474.68166

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 127-144 (2021).
PDF BibTeX XML Cite
Full Text: DOI

On the expressiveness of Büchi arithmetic. (English) Zbl 07410431

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 310-323 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automatic structures: twenty years later. (English) Zbl 07299455

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 21-34 (2020).
MSC:  03D05 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Pebble-intervals automata and \(\text{FO}^2\) with two orders. (English) Zbl 1437.68100

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 208-221 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Logic and rational languages of scattered and countable series-parallel posets. (English) Zbl 1425.03013

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 275-287 (2019).
MSC:  03D05 03B25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Recursion schemes and the WMSO+U logic. (English) Zbl 1491.03010

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 53, 16 p. (2018).
MSC:  03B25 03D05 03B40
PDF BibTeX XML Cite
Full Text: DOI

Revisiting MITL to fix decision procedures. (English) Zbl 1446.68099

Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 474-494 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Model-theoretic conservative extension for definitional theories. (English) Zbl 1434.03028

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 133-145 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Decidable inequalities over infinite trees. (English) Zbl 1415.68059

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 111-130 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Constructive decision via redundancy-free proof-search. (English) Zbl 1468.03014

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 422-438 (2018).
PDF BibTeX XML Cite
Full Text: DOI HAL

An introduction to the technique of formative processes in set theory. (English) Zbl 1402.03004

Cham: Springer (ISBN 978-3-319-74777-4/hbk; 978-3-319-74778-1/ebook). xii, 154 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Decidability, complexity, and expressiveness of first-order logic over the subword ordering. (English) Zbl 1452.03028

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 81, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: arXiv Link

Separation for dot-depth two. (English) Zbl 1457.68146

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 10, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link

Logic and regular cost functions. (English) Zbl 1452.03089

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 1, 4 p. (2017).
PDF BibTeX XML Cite
Full Text: Link

Lazy automata techniques for WS1S. (English) Zbl 1452.03090

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017).
MSC:  03D05 03B25 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Characterizing definability in decidable fixpoint logics. (English) Zbl 1442.03012

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 107, 14 p. (2017).
MSC:  03B70 03B25 03D05
PDF BibTeX XML Cite
Full Text: DOI

Emptiness of zero automata is decidable. (English) Zbl 1442.68084

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 106, 13 p. (2017).
MSC:  68Q45 03B25 03D05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nested multisets, hereditary multisets, and syntactic ordinals in Isabelle/HOL. (English) Zbl 1434.03025

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 11, 18 p. (2017).
MSC:  03B35 03B25 03F15
PDF BibTeX XML Cite
Full Text: DOI

Categoricity results for second-order ZF in dependent type theory. (English) Zbl 1468.03012

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 304-318 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Monadic second-order logic on finite sequences. (English) Zbl 1387.03006

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 232-245 (2017).
MSC:  03B25 03B15 03D05 68T15
PDF BibTeX XML Cite
Full Text: DOI

Decidability of the monadic shallow linear first-order fragment with straight dismatching constraints. (English) Zbl 1468.03006

de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 202-219 (2017).
MSC:  03B25 03B20 03B35
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the combination of the Bernays-Schönfinkel-Ramsey fragment with simple linear integer arithmetic. (English) Zbl 06778398

de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 77-94 (2017).
MSC:  03B35 03B25 03B62
PDF BibTeX XML Cite
Full Text: DOI arXiv

A step up in expressiveness of decidable fixpoint logics. (English) Zbl 1394.03014

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 817-826 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link

How unprovable is Rabin’s decidability theorem? (English) Zbl 1394.03016

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 788-797 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automata on infinite trees with equality and disequality constraints between siblings. (English) Zbl 1401.68152

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 227-236 (2016).
MSC:  68Q45 03B25 03D05
PDF BibTeX XML Cite
Full Text: DOI HAL

Deciding first-order satisfiability when universal and existential variables are separated. (English) Zbl 1394.03013

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 86-95 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Decidability and complexity of tree share formulas. (English) Zbl 1391.68019

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 19, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Model checking flat freeze LTL on one-counter automata. (English) Zbl 1392.68257

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 29, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

The MSO+U theory of \((\mathbb N,<)\) is undecidable. (English) Zbl 1388.03016

Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 21, 8 p. (2016).
MSC:  03B25 03D05 03B15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Definability in first order theories of graph orderings. (English) Zbl 1476.03040

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 331-348 (2016).
MSC:  03C13 03C40 03C65
PDF BibTeX XML Cite
Full Text: DOI

The logical strength of Büchi’s decidability theorem. (English) Zbl 1370.03058

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 36, 16 p. (2016).
MSC:  03D05 03B25 03F35
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software