Publications in 1988

From International Center for Computational Logic

Revision as of 11:19, 24 March 2015 by Marcel Lippmann (talk | contribs) (Die Seite wurde neu angelegt: „{{Wiki Seite Veröffentlichungen nach Jahr|langsuffix=/en|year=1988}}“)

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

Jump to:navigation, search

Publications in 1988

Journal Articles

Franz Baader, W. Büttner
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
Details

Franz Baader
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
Details

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Veröffentlichungen/1988/en&oldid=14102"