Ordered Sets in the Calculus of Data Structures

DOI10.1007/978-3-642-15205-4_5zbMath1287.03073OpenAlexW1540595797MaRDI 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

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Logical aspects of Boolean algebras (03G05)

Related Items (3)

NP satisfiability for arrays as powers ⋮ On algebraic array theories ⋮ Decision Procedures for Automating Termination Proofs

Uses Software

• Scala

This page was built for publication: Ordered Sets in the Calculus of Data Structures