Implementing WS1S via Finite Automata: Performance Issues

Authors:
James Glenn;William I. Gasarch
Affiliations:
-;-
Venue:
WIA '97 Revised Papers from the Second International Workshop on Implementing Automata
Year:
1997

Experimental evaluation of classical automata constructions

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Brute force determinization of NFAs by means of state covers

CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Automatic theorem-proving in combinatorics on words

CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata

Hi-index	0.00