Automatic Generation of Invariants for Circular Derivations in SUP(LA).

Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach

Browse the full LPAR paper archive.