A Set Automaton to Locate All Pattern Matches in a Term

Rick Erkens, Jan Friso Groote. A Set Automaton to Locate All Pattern Matches in a Term. In Antonio Cerone, Peter Csaba Ölveczky, editors, Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings. Volume 12819 of Lecture Notes in Computer Science, pages 67-85, Springer, 2021. [doi]

Authors

Rick Erkens

This author has not been identified. Look up 'Rick Erkens' in Google

Jan Friso Groote

This author has not been identified. It may be one of the following persons: Look up 'Jan Friso Groote' in Google