Polynomial-time equivalence testing for deterministic fresh-register automata

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

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

2 Citations (Scopus)
48 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Polynomial-time equivalence testing for deterministic fresh-register automata'. Together they form a unique fingerprint.

Engineering & Materials Science