Relational characterisations of paths
| Autor: | Berghammer, Rudolf, Furusawa, Hitoshi, Guttmann, Walter, Höfner, Peter |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming December 2020 117 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Berghammer, Rudolf, Furusawa, Hitoshi, Guttmann, Walter, Höfner, Peter |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming December 2020 117 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect