Automated Deduction – CADE-20

DOI10.1007/11532231zbMath1135.03332OpenAlexW2485416161MaRDI QIDQ5394614

Renate A. Schmidt, Ullrich Hustadt, Boris Konev

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11532231

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (2)

Fair Derivations in Monodic Temporal Reasoning ⋮ Neural precedence recommender

This page was built for publication: Automated Deduction – CADE-20