scientific article

zbMATH Open0981.68064MaRDI QIDQ2778881

No author found.

Publication date: 21 March 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510231

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

General \(E\)-unification with eager variable elimination and a nice cycle rule ⋮ Unnamed Item

Recommendations

• An improved general \(E\)-unification method 👍 👎
• E-Unification based on Generalized Embedding 👍 👎
• Computer Science Logic 👍 👎
• An Automata View to Goal-Directed Methods 👍 👎
• A new approach to general E-unification based on conditional rewriting systems 👍 👎
• A unifying approach to goal-directed evaluation 👍 👎
• An improved general E-unification method 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: