scientific article

From MaRDI portal

Revision as of 23:22, 29 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)

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

Publication:3971290

Jump to:navigation, search

zbMath0744.68112MaRDI QIDQ3971290

Wayne Snyder, Jean H. Gallier

Publication date: 25 June 1992

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

zbMATH Keywords

unification resolution equational matings matings \(ET\)-proofs

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Related Items (3)

Linear second-order unification ⋮ On First-Order Model-Based Reasoning ⋮ A theory of binding structures and applications to rewriting

This page was built for publication:

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