Adaptive nonlinear pattern matching automata

DOI10.4230/LIPICS.FSCD.2020.20MaRDI QIDQ6854415zbMATH OpenFDO

Authors Rick Erkens, Maurice Laveaux

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2020.20

zbMATH Keywords

pattern matchingterm indexingtree automata

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX) Theory of computing (68Qxx)

Cites work

• Adaptive Pattern Matching
• An account of implementing applicative term rewriting
• Experiments with discrimination-tree indexing and path indexing for term retrieval
• Left-to-right tree pattern matching
• Optimizing pattern matching
• Substitution tree indexing
• Term indexing
• The anatomy of vampire. Implementing bottom-up procedures with code trees

This page was built for publication: Adaptive nonlinear pattern matching automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6854415)