Some results on equational unification

From MaRDI portal

Revision as of 14:33, 28 November 2024 by Import241128011130 (talk | contribs) (Created automatically from import241128011130)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6488537

Jump to:navigation, search

DOI10.1007/3-540-52885-7_94zbMath1509.68122MaRDI QIDQ6488537

Paliath Narendran, Friedrich Otto

Publication date: 28 April 2023

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

This page was built for publication: Some results on equational unification

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