scientific article

From MaRDI portal

Publication:3028368

Jump to:navigation, search

zbMath0625.68067MaRDI QIDQ3028368

R. Sommerhalder

Publication date: 1987

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

zbMATH Keywords

logic programming equational theory unification algorithms complexity of unification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3028368&oldid=16066073"