Tarski’s Influence on Computer Science
From MaRDI portal
Publication:4611682
DOI10.1007/978-3-319-65430-0_29zbMath1425.03003arXivcs/0608062OpenAlexW4255606880MaRDI QIDQ4611682
Publication date: 21 January 2019
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0608062
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) History of computer science (68-03)
Uses Software
Cites Work
- Algorithmic uses of the Feferman-Vaught theorem
- The relational model of data and cylindric algebras
- Cylindric algebras. Part II
- The complexity of elementary algebra and geometry
- Fixed point theorems and semantics: A folk tale
- Partial cylindrical algebraic decomposition for quantifier elimination
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
- Datalog vs first-order logic
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Three-variable statements of set-pairing
- A lattice-theoretical fixpoint theorem and its applications
- The first order properties of products of algebraic systems
- On preservation under homomorphisms and unions of conjunctive queries
- Data Types as Lattices
- Tarski's System of Geometry
- Some Aspects of Model Theory and Finite Structures
- Continuous Lattices and Domains
- A relational model of data for large shared data banks
- The axiom of elementary sets on the edge of Peircean expressibility
- On the calculus of relations
- Proving safety properties of infinite state systems by compilation into Presburger arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
