Relational characterisations of paths

Journal of Logical and Algebraic Methods in Programming 2020 / 12 Vol. 117

Relational characterisations of paths

Berghammer, Rudolf, Furusawa, Hitoshi, Guttmann, Walter, Höfner, Peter
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:
117
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2020.100590
Date:
December, 2020
Fichier:
PDF, 562 KB
2020
La conversion en est effectuée
La conversion en a échoué