![Model theory / Metalogic / Proof theory / Logic in computer science / Formal languages / First-order logic / Multiset / Presburger arithmetic / Quantifier elimination / Logic / Mathematics / Mathematical logic Model theory / Metalogic / Proof theory / Logic in computer science / Formal languages / First-order logic / Multiset / Presburger arithmetic / Quantifier elimination / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/48cace161bc050dece3a807cc76268fc.jpg)
| Document Date: 2009-11-10 09:06:44 Open Document File Size: 236,93 KBShare 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 |