Ideal Separation and General Theorems for Constrained Synchronization and Their Application to Small Constraint Automata.

Stefan Hoffmann

Browse the full COCOON paper archive.