scientific article; zbMATH DE number 1773084

MaRDI QIDQ4540967zbMATH OpenFDO

Authors Nils Klarlund, Anders Møller, Michael I. Schwartzbach

Publication date 28 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2088/20880182

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Decidability of theories and sets of sentences (03B25) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• MONA IMPLEMENTATION SECRETS
• scientific article; zbMATH DE number 1223628
• Lazy automata techniques for WS1S
• Nested antichains for WS1S
• Nested antichains for WS1S

Cited in

(20)

• Nested antichains for WS1S
• MONA
• scientific article; zbMATH DE number 1670771 (Why is no real title available?)
• Combining WS1S and HOL
• A decision procedure for regular membership and length constraints over unbounded strings
• MONA IMPLEMENTATION SECRETS
• Lazy automata techniques for WS1S
• Verifying Heap-Manipulating Programs in an SMT Framework
• Courcelle's theorem -- a game-theoretic approach
• scientific article; zbMATH DE number 1223610 (Why is no real title available?)
• scientific article; zbMATH DE number 1223628 (Why is no real title available?)
• Practical algorithms for MSO model-checking on tree-decomposable graphs
• Complexity of fixed-size bit-vector logics
• A Practical Approach to Courcelle's Theorem
• Nested antichains for WS1S
• An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
• Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
• Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
• Juggrnaut: using graph grammars for abstracting unbounded heap structures
• Relativizations for the logic-automata connection

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4540967)