The top documents tagged [strong procedure]
Deciability (automata presentation)
227 views