scientific article; zbMATH DE number 3148407
From MaRDI portal
Publication:3265663
zbMATH Open0091.01102MaRDI QIDQ3265663FDOQ3265663
Authors: J. Suranyi
Publication date: 1959
Title of this publication is not available (Why is that?)
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)