On Regular Expression Proof Complexity

Simon Beier, Markus Holzer 0001. On Regular Expression Proof Complexity. In Émilie Charlier, Julien Leroy 0002, Michel Rigo, editors, Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Volume 10396 of Lecture Notes in Computer Science, pages 83-95, Springer, 2017. [doi]

Authors

Simon Beier

This author has not been identified. Look up 'Simon Beier' in Google

Markus Holzer 0001

This author has not been identified. Look up 'Markus Holzer 0001' in Google