The following pages link to Mathematical logic. (Q2711810):
Displaying 26 items.
- Decision procedures for flat array properties (Q287272) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Quantifier elimination for the reals with a predicate for the powers of two (Q868941) (← links)
- Complemented modular lattices with involution and orthogonal geometry (Q1047096) (← links)
- Simplified lower bounds for propositional proofs (Q1374208) (← links)
- Six impossible rings (Q1845031) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Undecidability of the speed positiveness problem in reversible and complete Turing machines (Q2040026) (← links)
- Interval orders, semiorders and ordered groups (Q2332813) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- Classical mathematical logic. (Q2753072) (← links)
- A New Acceleration-Based Combination Framework for Array Properties (Q2964461) (← links)
- Interpretation and Truth in Set Theory (Q3305341) (← links)
- Hierarchy of Computably Enumerable Degrees II (Q3380356) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Transfinite Progressions: A Second Look at Completeness (Q4678945) (← links)
- Mathematical logic. (Q4805348) (← links)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers (Q5065095) (← links)
- THE COPYING METHOD (Q5076198) (← links)
- (Q5180893) (← links)
- Brouwer’s Ideas and Intuitionistic Fuzziness (Q5214146) (← links)
- Nonsets (Q5258980) (← links)
