DMCA

Singleton Acceptance Conditions in ω-Automata (1998)

by Barbara Leoniuk , Helmut Lescow , Wolfgang Thomas