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

City

Lausanne / Klosterneuburg / /

Company

The star / /

Country

Switzerland / Austria / /

Currency

pence / /

/

Facility

Institute of Science / /

IndustryTerm

binary search tree implementation / expressive type systems / quantifier elimination algorithm / cardinality operator / uninformed search / software correctness properties / e - index / software verification / /

Organization

Swiss National Science Foundation / Institute of Science / EPFL School of Computer and Communication Sciences / /

Person

Ai / /

ProgrammingLanguage

Scala / /

Technology

quantifier elimination algorithm / 5 The algorithm / /

SocialTag