Verification: Theory and Practice
From MaRDI portal
Publication:5305641
DOI10.1007/B12001zbMath1274.68407OpenAlexW2483649756MaRDI QIDQ5305641
Domenico Cantone, Pietro Ursino, Eugenio Giovanni Omodeo
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Related Items (4)
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions ⋮ Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates ⋮ Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate ⋮ Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
Uses Software
This page was built for publication: Verification: Theory and Practice
