Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Automatizing termination proofs of recursively defined...

Automatizing termination proofs of recursively defined functions

Pascal Manoury, Marianne Simonot
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:
135
Année:
1994
Langue:
english
Pages:
25
DOI:
10.1016/0304-3975(94)00021-2
Fichier:
PDF, 1.60 MB
english, 1994
La conversion en est effectuée
La conversion en a échoué