Zur Entscheidbarkeit der funktionalen Äquivalenz-Reference-Cited by-同舟云学术

Zur Entscheidbarkeit der funktionalen Äquivalenz

Published:1975 Issue: Volume: Page:127-133
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Beck H.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-07407-4_16.pdf

Reference5 articles.

1. Grzegorczyk, A.: "Some classes of recursive functions", Rozprawy Mathematyczne 4. (1953)

2. Matijasevič, J.V.: "Enumerable sets are Diophantine", Soviet Math. Dokl. 11, 354–358. (1970)

3. Meyer, A.R., D.M. Ritchie: "The complexity of loop programs", Proc. 22nd Nat. Conf. ACM, 1967, ACM Pub P-67, pp. 465–469

4. Presburger, M.: "über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt", Comptesrendus du I Congrès des Mathématiciens des Pays Slaves, Warsaw (1930) pp. 92–101, 395

5. Tsichritzis, D.: "The equivalence problem of simple programs", Journal of the Association for Computing Machinery 17: 729–738. (1970)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Comparing Hierarchies of Primitive Recursive Sequence Functions;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1982

2. The Structure of Loop Programs and Subrecursive Hierarchies;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1980

3. A hierarchy of primitive recursive sequence functions;RAIRO. Informatique théorique;1979

4. Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen;Lecture Notes in Computer Science;1977