Back to Results
First PageMeta Content
Model theory / Metalogic / Proof theory / Logic in computer science / Formal languages / First-order logic / Multiset / Presburger arithmetic / Quantifier elimination / Logic / Mathematics / Mathematical logic


Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland
Add to Reading List

Document Date: 2009-11-10 09:06:44

Open Document

File Size: 236,93 KB

Share Result on Facebook
UPDATE