scientific article; zbMATH DE number 7471681

MaRDI QIDQ5028442

Maurice Laveaux, Rick Erkens

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2011.13752

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

pattern matchingtree automataterm indexing

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• VAMPIRE

Cites Work

• Unnamed Item
• Experiments with discrimination-tree indexing and path indexing for term retrieval
• The anatomy of vampire. Implementing bottom-up procedures with code trees
• An Account of Implementing Applicative Term Rewriting
• The Complexity of Trie Index Construction
• Adaptive Pattern Matching
• Substitution tree indexing
• Optimizing pattern matching

This page was built for publication: