scientific article
From MaRDI portal
Publication:2711810
zbMath0965.03001MaRDI QIDQ2711810
Publication date: 26 April 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item ⋮ Decision procedures for flat array properties ⋮ Symbioses between mathematical logic and computer science ⋮ On maps which preserve semipositivity and quantifier elimination theory for real numbers ⋮ THE COPYING METHOD ⋮ Quantifier elimination for the reals with a predicate for the powers of two ⋮ Simplified lower bounds for propositional proofs ⋮ On the generation of quantified lemmas ⋮ A New Acceleration-Based Combination Framework for Array Properties ⋮ An axiomatic approach to structuring specifications ⋮ Practical algorithms for MSO model-checking on tree-decomposable graphs ⋮ Théories géométriques pour l’algèbre des nombres réels ⋮ Interpretation and Truth in Set Theory ⋮ Herbrand's theorem as higher order recursion ⋮ Forcing in Proof Theory ⋮ Transfinite Progressions: A Second Look at Completeness ⋮ Undecidability of the speed positiveness problem in reversible and complete Turing machines ⋮ Brouwer’s Ideas and Intuitionistic Fuzziness ⋮ Hierarchy of Computably Enumerable Degrees II ⋮ Functional interpretation and inductive definitions ⋮ Complemented modular lattices with involution and orthogonal geometry ⋮ Interval orders, semiorders and ordered groups ⋮ Six impossible rings ⋮ Nonsets
This page was built for publication:
