The bguq macro package for LATEX 2ε J.J. Green VersionThis file defines the package bguq which provides LATEX 2ε access to the Begriffsschrift universal quantifier “ ” from the bguq font in a small

Source URL: mirrors.dotsrc.org

Interpolation for Data Structures ∗ Deepak Kapur

Source URL: www.cs.unm.edu

• Predicate logic
• Metalogic
• Formal languages
• Semantics
• First-order logic
• Interpretation
• Quantifier elimination
• Well-formed formula
• Quantification
• Logic
• Mathematical logic
• Model theory

Etude clinique et organisationnelle permettant de définir et de quantifier ce qu’on appelle communément le burn out Depuis une dizaine d’années, dans le sillage de la problématique des risques psychosociaux, la n

Source URL: cgtpurpan.reference-syndicale.fr

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

Source URL: lara.epfl.ch

• Model theory
• Metalogic
• Proof theory
• Logic in computer science
• Formal languages
• First-order logic
• Multiset
• Presburger arithmetic
• Quantifier elimination
• Logic
• Mathematics
• Mathematical logic

On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2

Source URL: lara.epfl.ch

• Model theory
• Logic in computer science
• Metalogic
• Predicate logic
• Proof theory
• First-order logic
• Satisfiability Modulo Theories
• Presburger arithmetic
• Quantifier elimination
• Logic
• Mathematical logic
• Theoretical computer science

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN

Source URL: library.msri.org

• Abstract algebra
• O-minimal theory
• Strongly minimal theory
• Definable set
• Structure
• Differentially closed field
• Real closed field
• Quantifier elimination
• Set theory
• Model theory
• Mathematical logic
• Mathematics

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields

Source URL: library.msri.org

• Field theory
• Diophantine geometry
• Number theory
• P-adic number
• Valuation
• FO
• Local zeta-function
• Constructible universe
• Igusa zeta-function
• Abstract algebra
• Mathematics
• Algebra

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter?

Source URL: lara.epfl.ch

• Model theory
• Logic in computer science
• Constraint programming
• Predicate logic
• Semantics
• Satisfiability Modulo Theories
• Quantifier elimination
• First-order logic
• Function
• Logic
• Mathematical logic
• Mathematics

Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic Viktor Kuncak1 and Martin Rinard2 1 Ecole Politechnique F´ed´erale de Lausanne, Lausanne, VD, Switzerland

Source URL: lara.epfl.ch

• Logic in computer science
• Model theory
• Complexity classes
• Boolean algebra
• Electronic design automation
• Boolean satisfiability problem
• Presburger arithmetic
• Quantifier elimination
• Decision problem
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Ordered Sets in the Calculus of Data Structures

Source URL: lara.epfl.ch

• Metalogic
• Model theory
• Elementary mathematics
• Formal languages
• Function
• Finite set
• Infinity
• Quantifier elimination
• Set
• Mathematics
• Logic
• Mathematical logic