Ordered Sets in the Calculus of Data Structures

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

Mathematics Subject Classification ID

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

NP satisfiability for arrays as powers, Decision Procedures for Automating Termination Proofs

Uses Software

• Scala