A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems
Copyright policy )A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems
Reviews in MR 80f: 03045, ZBL 429 # 03016. Preprint in Schriften zur Informatik und Angewandten Mathematik. Hrg. R. Kaerkes, J. Merkwitz, W. Oberschelp, RWTH Aachen, Bericht Nr. 30, Juli 1976, pp. 61.
- University of Pisa Italy
partial implicational propositional calculus in two variables, representation theorems, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, semi-Thue system, recursive reduction, recursive classes of first-order logical formulae with equality, Thue and Post systems, etc., Automata and formal grammars in connection with logical questions, Turing machine, partial recursive functions, Decidability of theories and sets of sentences, algorithmic systems, Turing machines and related notions, Other degrees and reducibilities in computability and recursion theory, many-one equivalence, word problem of Thue systems, Markov algorithm, Word problems, etc. in computability and recursion theory, decision problems, register machine, Post normal calculus
partial implicational propositional calculus in two variables, representation theorems, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations, semi-Thue system, recursive reduction, recursive classes of first-order logical formulae with equality, Thue and Post systems, etc., Automata and formal grammars in connection with logical questions, Turing machine, partial recursive functions, Decidability of theories and sets of sentences, algorithmic systems, Turing machines and related notions, Other degrees and reducibilities in computability and recursion theory, many-one equivalence, word problem of Thue systems, Markov algorithm, Word problems, etc. in computability and recursion theory, decision problems, register machine, Post normal calculus
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).3 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!