Grail: a C++ library for automata and expressions
Journal of Symbolic Computation - Special issue on “algorithms: implementation, libraries and use”
Theory of Computation: A Primer
Theory of Computation: A Primer
ACM SIGACT News
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Integrating Hands-on Work into the Formal Languages Course via Tools and Programming
WIA '96 Revised Papers from the First International Workshop on Implementing Automata
FSA Utilities: A Toolbox to Manipulate Finite-State Automata
WIA '96 Revised Papers from the First International Workshop on Implementing Automata
Teaching Binary Tree Algorithms through Visual Programming
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
VisA: A Tool for Visualizing and Animating Automata and Formal Languages
GD '98 Proceedings of the 6th International Symposium on Graph Drawing
Hi-index | 0.00 |