Instantiation Schemes for Nested Theories

ACM Transactions on Computational Logic 2013 / 06 Vol. 14; Iss. 2

Instantiation Schemes for Nested Theories

Echenim, Mnacho, Peltier, Nicolas
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:
14
Langue:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/2480759.2480763
Date:
June, 2013
Fichier:
PDF, 277 KB
english, 2013
La conversion en est effectuée
La conversion en a échoué