Jean-Marc Champarnaud, Fabien Coulon. NFA Reduction Algorithms by Means of Regular Inequalities. In Zoltán Ésik, Zoltán Fülöp, editors, Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings. Volume 2710 of Lecture Notes in Computer Science, pages 194-205, Springer, 2003. [doi]
Abstract is missing.