Prefix classes of krom formulae with identity (Q3956908): Difference between revisions

@@ Property / author @@
-Yuri Gurevich
@@ Property / author: Yuri Gurevich / rank @@
-Normal rank
@@ Property / author @@
+Yuri Gurevich
@@ Property / author: Yuri Gurevich / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639707
@@ Property / cites work: Q5639707 / rank @@
+Normal rank
@@ Property / cites work @@
+Prefix classes of Krom formulas
@@ Property / cites work: Prefix classes of Krom formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
+Normal rank
@@ Property / cites work @@
+Eine Entscheidbare Klasse Von Kromformeln
@@ Property / cites work: Eine Entscheidbare Klasse Von Kromformeln / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for standard classes
@@ Property / cites work: The decision problem for standard classes / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-conservative reduction
@@ Property / cites work: Semi-conservative reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Decidability of a portion of the predicate calculus
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3956908