scientific article; zbMATH DE number 3148407
From MaRDI portal
Publication:3265663
Cited in
(6)- Diem-Grade Logischer Entscheidungsprobleme
- The unsolvability of the Gödel class with identity
- Undecidability of modal and intermediate first-order logics with two individual variables
- On the solvability of a subclass of the surányi reduction class
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
- Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3265663)
