Cargando…
Approaching Arithmetic Theories with Finite-State Automata
The automata-theoretic approach provides an elegant method for deciding linear arithmetic theories. This approach has recently been instrumental for settling long-standing open problems about the complexity of deciding the existential fragments of Büchi arithmetic and linear arithmetic over p-adic f...
Autor principal: | Haase, Christoph |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7206625/ http://dx.doi.org/10.1007/978-3-030-40608-0_3 |
Ejemplares similares
-
Introduction to the theory of finite automata
por: Kobrinskij, N E, et al.
Publicado: (1965) -
Finite automata
por: Lawson, Mark V
Publicado: (2003) -
Representation theory of finite groups: algebra and arithmetic
por: Weintraub, Steven H
Publicado: (2003) -
A String Diagrammatic Axiomatisation of Finite-State Automata
por: Piedeleu, Robin, et al.
Publicado: (2021) -
Design of arithmetic circuits in quantum dot cellular automata nanotechnology
por: Sridharan, K, et al.
Publicado: (2015)