Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata.

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Browse the full MFCS paper archive.