Efficient tree pattern unification

DOI10.1007/BFB0037425zbMATH Open1541.68183MaRDI QIDQ6560197FDOQ6560197

Peter Ružička

Publication date: 21 June 2024

Mathematics Subject Classification ID

Data structures (68P05) Grammars and rewriting systems (68Q42) Algorithms on strings (68W32)

Cites Work

• Efficient string matching
• Parallel construction of a suffix tree with applications
• Title not available (Why is that?)
• Pattern Matching in Trees
• Nonlinear pattern matching in trees
• An almost linear Robinson unification algorithm
• Title not available (Why is that?)

This page was built for publication: Efficient tree pattern unification

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