scientific article; zbMATH DE number 3870644

zbMATH Open0546.68081MaRDI QIDQ3336740FDOQ3336740

Donald L. Simon

Publication date: 1984

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

zbMATH Keywords

linear time algorithmunificationsecond order instantiation

Mathematics Subject Classification ID

Cited In (1)

• A restricted form of higher-order rewriting applied to an HDL semantics

   Recommendations

• Title not available (Why is that?) 👍 👎
• A unification algorithm for second-order monadic terms 👍 👎
• Linear second-order unification 👍 👎
• A practical unification algorithm 👍 👎
• A practically efficient and almost linear unification algorithm 👍 👎

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)