Login / Signup

Relational characterisations of paths.

Rudolf BerghammerHitoshi FurusawaWalter GuttmannPeter Höfner
Published in: J. Log. Algebraic Methods Program. (2020)
Keyphrases