Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen (Q4401927): Difference between revisions

Latest revision as of 14:10, 12 June 2024

scientific article; zbMATH DE number 3435464

Language	Label	Description	Also known as
English	Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen	scientific article; zbMATH DE number 3435464

Statements

instance of

scholarly article

0 references

title

Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen (English)

0 references

zbMATH Open document ID

0 references

0 references

0 references

Archiv für Mathematische Logik und Grundlagenforschung

0 references

publication date

1974

0 references

full work available at URL

https://eudml.org/doc/137885

0 references

Mathematics Subject Classification ID

0 references

0 references

MaRDI publication profile

0 references

cites work

Q5639707

0 references

Turing-machines and the Entscheidungsproblem

0 references

An improved prenex normal form<sup>1</sup>

0 references

Some theorems on definability and decidability

0 references

ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE

0 references

On the reduction of the decision problem

0 references

A property of sentences that define quasi-order

0 references

The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary

0 references

The Decision Problem for Segregated Formulas in First-Order Logic.

0 references

Q5556404

0 references

The decision problem for formulas in prenex conjunctive normal form with binary disjunctions

0 references

Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines

0 references

Certain logical reduction and decision problems

0 references

Tag systems and lag systems

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4401927

@@ Property / cites work @@
+Q5639707
@@ Property / cites work: Q5639707 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing-machines and the Entscheidungsproblem
@@ Property / cites work: Turing-machines and the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+An improved prenex normal form<sup>1</sup>
@@ Property / cites work: An improved prenex normal form<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems on definability and decidability
@@ Property / cites work: Some theorems on definability and decidability / rank @@
+Normal rank
@@ Property / cites work @@
+ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
@@ Property / cites work: ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE / rank @@
+Normal rank
@@ Property / cites work @@
+On the reduction of the decision problem
@@ Property / cites work: On the reduction of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+A property of sentences that define quasi-order
@@ Property / cites work: A property of sentences that define quasi-order / rank @@
+Normal rank
@@ Property / cites work @@
+The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary
+Normal rank
@@ Property / cites work @@
+The Decision Problem for Segregated Formulas in First-Order Logic.
+Normal rank
@@ Property / cites work @@
+Q5556404
@@ Property / cites work: Q5556404 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for formulas in prenex conjunctive normal form with binary disjunctions
+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 @@
+Certain logical reduction and decision problems
@@ Property / cites work: Certain logical reduction and decision problems / rank @@
+Normal rank
@@ Property / cites work @@
+Tag systems and lag systems
@@ Property / cites work: Tag systems and lag systems / rank @@
+Normal rank