A Fixed Point Semantics for the ATMS

Journal of Logic and Computation 1993 Vol. 3; Iss. 2

A Fixed Point Semantics for the ATMS

CAYROL, MICHEL, PALMADE, OLIVIER, SCHIEX, THOMAS
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:
3
Année:
1993
Langue:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/3.2.115
Fichier:
PDF, 662 KB
english, 1993
La conversion en est effectuée
La conversion en a échoué