scientific article; zbMATH DE number 522867

zbMATH Open0802.68071MaRDI QIDQ4284263FDOQ4284263

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

Publication date: 17 April 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

pattern matchingunificationpath-counting algorithmpattern-eliminating algorithm

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Efficient tree pattern unification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Une charpente de semi-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)