Decidability of Deterministic Process Equivalence for Finitary Deduction Systems.

Yannick Chevalier, Fabian Romero

Browse the full PDP paper archive.