Ordered Sets in the Calculus of Data Structures
From MaRDI portal
Publication:3586032
DOI10.1007/978-3-642-15205-4_5zbMath1287.03073MaRDI QIDQ3586032
Ruzica Piskac, Philippe Suter, Viktor Kuncak
Publication date: 3 September 2010
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_5
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
03G05: Logical aspects of Boolean algebras
Related Items
On algebraic array theories, NP satisfiability for arrays as powers, Decision Procedures for Automating Termination Proofs
Uses Software