scientific article; zbMATH DE number 3870644

zbMATH Open0546.68081MaRDI QIDQ3336740FDOQ3336740

Authors: Donald L. Simon 

Publication date: 1984

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

Recommendations

• scientific article; zbMATH DE number 3896334
• A unification algorithm for second-order monadic terms
• Linear second-order unification
• A practical unification algorithm
• A practically efficient and almost linear unification algorithm

zbMATH Keywords

linear time algorithmunificationsecond order instantiation

Mathematics Subject Classification ID

Cited In (2)

• Title not available (Why is that?)
• A restricted form of higher-order rewriting applied to an HDL semantics

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 Q3336740)