Skip to main content

Advanced Reasoning in Arithmetic Theories

Publications

On the Power of Ordering in Linear Arithmetic Theories

Author(s): Christoph Haase, Dmitry Chistikov
Published in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 168, 2020, Page(s) 119:1--119:15
Publisher: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2020.119

On the Expressiveness of Büchi Arithmetic

Author(s): Christoph Haase, Jakub Rozycki
Published in: Foundations of Software Science and Computation Structures. FOSSACS 2021, 12650, 2021, Page(s) 310-323
Publisher: Springer
DOI: 10.1007/978-3-030-71995-1_16

Directed Reachability for Infinite−State Systems

Author(s): Michael Blondin; Christoph Haase; Philip Offtermatt
Published in: Tools and Algorithms for the Construction and Analysis of Systems, 12652, 2021, Page(s) 3-23
Publisher: Springer
DOI: 10.26226/morressier.604907f41a80aac83ca25ccf

On the Size of Finite Rational Matrix Semigroups

Author(s): Georgina Bumpus, Christoph Haase, Stefan Kiefer, Paul-Ioan Stoienescu, Jonathan Tanner
Published in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 168, 2020, Page(s) 115:1--115:13, ISBN 978-3-95977-138-2
Publisher: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2020.115

Approaching Arithmetic Theories with Finite-State Automata

Author(s): Christoph Haase
Published in: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings, 12038, 2020, Page(s) 33-43, ISBN 978-3-030-40607-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-40608-0_3

On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes

Author(s): Christoph Haase, Alessio Mansutti
Published in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), 202, 2021, Page(s) 55:1--55:20
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2021.55