scientific article; zbMATH DE number 1765703
From MaRDI portal
Publication:4539644
zbMath0988.03022MaRDI QIDQ4539644
Sébastien Jodogne, Bernard Boigelot, Pierre Wolper
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830611
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) First-order arithmetic and fragments (03F30)
Related Items (5)
Symbolic Model Checking in Non-Boolean Domains ⋮ New Optimizations and Heuristics for Determinization of Büchi Automata ⋮ Certifying inexpressibility ⋮ Relating word and tree automata ⋮ An analogue of Cobham's theorem for graph directed iterated function systems
Uses Software
This page was built for publication: