A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems (Q3866085)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems |
scientific article |
Statements
A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems (English)
0 references
1979
0 references
algorithmic systems
0 references
decision problems
0 references
many-one equivalence
0 references
recursive reduction
0 references
register machine
0 references
Markov algorithm
0 references
semi-Thue system
0 references
Turing machine
0 references
Post normal calculus
0 references
representation theorems
0 references
partial implicational propositional calculus in two variables
0 references
word problem of Thue systems
0 references
recursive classes of first-order logical formulae with equality
0 references
partial recursive functions
0 references
