Frontiers of Combining Systems
From MaRDI portal
Publication:5491893
DOI10.1007/11559306zbMath1171.68507OpenAlexW4205914269MaRDI QIDQ5491893
Stephan Schulz, Silvio Ranise, Maria Paola Bonacina, Alessandro Armando
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11559306
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (6)
Modular proof systems for partial functions with Evans equality ⋮ On deciding satisfiability by theorem proving with speculative inferences ⋮ Decision procedures for extensions of the theory of arrays ⋮ Automatic decidability and combinability ⋮ Rewrite-Based Decision Procedures ⋮ Rewrite-Based Satisfiability Procedures for Recursive Data Structures
Uses Software
This page was built for publication: Frontiers of Combining Systems
