Veröffentlichungen in 1988

Aus International Center for Computational Logic
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