Veröffentlichungen in 1988

Aus International Center for Computational Logic
Version vom 24. März 2015, 11:11 Uhr von Marcel Lippmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Wiki Seite Veröffentlichungen nach Jahr|year={{#titleparts:{{PAGENAME}}||-1}}}}“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Toggle side column

Veröffentlichungen in 1988


Artikel in Fachzeitschriften

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