Tree-Manipulating Systems and Church-Rosser Theorems

Journal of the ACM 1973 / 1 Vol. 20; Iss. 1

Tree-Manipulating Systems and Church-Rosser Theorems

Rosen, Barry K.
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
20
Langue:
english
Journal:
Journal of the ACM
DOI:
10.1145/321738.321750
Date:
January, 1973
Fichier:
PDF, 1.60 MB
english, 1973
La conversion en est effectuée
La conversion en a échoué