Complexity of -term reductions
M. Dezani-Ciancaglini, S. Ronchi Della Rocca, L. Saitta (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
M. Dezani-Ciancaglini, S. Ronchi Della Rocca, L. Saitta (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
T. Isakowitz (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Anne Preller, P. Duroux (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
I. Margaria, M. Zacchi (1983)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J. Lambek (1989)
Diagrammes
Similarity:
A. J. Kfoury (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
J. Vauzeilles, A. Strauss (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: