Pages that link to "Item:Q3872430"
From MaRDI portal
The following pages link to DECIDABILITY PROBLEMS OF EXTENDED THEORIES (Q3872430):
Displaying 17 items.
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Invariant transformations of formulas (Q1065781) (← links)
- Construction of decidable singular theories of two successor functions with an extra predicate (Q1079557) (← links)
- Critical theories (Q1109020) (← links)
- Algorithmic problems and hierarchies of first-order languages (Q1112803) (← links)
- Unsolvable algorithmic problems for semigroups, groups and rings (Q1117039) (← links)
- Twins problem in formal arithmetic (Q1139585) (← links)
- Constructivizations of Boolean algebras (Q1171567) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
- To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way (Q2280355) (← links)
- Implementation of proof schemes in the method of invariant transformations (Q3034853) (← links)
- Specification methods and partial construction of theory by computer (Q3327747) (← links)
- Use of computers in solving well-known algebra problems (Q3599851) (← links)
- Locally finite properties of data structures and their computation (Q3694686) (← links)
- Further Generalizations of Results on Structures of Continuous Functions (Q5741385) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
