Proof Pearl: Regular Expression Equivalence and Relation...

Proof Pearl: Regular Expression Equivalence and Relation Algebra

Alexander Krauss, Tobias Nipkow
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:
49
Langue:
english
Pages:
12
DOI:
10.1007/s10817-011-9223-4
Date:
June, 2012
Fichier:
PDF, 283 KB
english, 2012
La conversion en est effectuée
La conversion en a échoué