scientific article; zbMATH DE number 522867

MaRDI QIDQ4284263zbMATH OpenFDO

Authors Peter Ružička, Igor Prívara

Publication date 17 April 1994

zbMATH Keywords

pattern matchingunificationpath-counting algorithmpattern-eliminating algorithm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 4053042
• On the sequential nature of unification
• scientific article; zbMATH DE number 176505
• scientific article; zbMATH DE number 3995082
• Average-case analysis of unification algorithms

Cited in

(5)

• scientific article; zbMATH DE number 1453051 (Why is no real title available?)
• scientific article; zbMATH DE number 1839455 (Why is no real title available?)
• scientific article; zbMATH DE number 7561480 (Why is no real title available?)
• Une charpente de semi-unification
• Efficient tree pattern unification

This page was built for publication:

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