Login / Signup

Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs.

Rudolf BerghammerThorsten Hoffmann
Published in: RelMiCS (2001)
Keyphrases