Complete Formal Systems for Equivalence Problems

GĂ©raud SĂ©nizergues. Complete Formal Systems for Equivalence Problems. In Maurice Margenstern, editor, International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I. pages 22-49, IUT Metz, 1998.

Abstract

Abstract is missing.