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
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
117
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2020.100590
Date:
December, 2020
File:
PDF, 562 KB
2020
Conversion to is in progress
Conversion to is failed