Pattern Matching with Variables: Efficient Algorithms and Complexity Results.
ACM Trans. Comput. Theory. Bd. 12. H. 1. 2020 S. 6:1 - 6:37
Erscheinungsjahr: 2020
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1145/3369935
Geprüft | Bibliothek |
ACM Trans. Comput. Theory. Bd. 12. H. 1. 2020 S. 6:1 - 6:37
Erscheinungsjahr: 2020
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1145/3369935
Geprüft | Bibliothek |