Publications in 1988

From International Center for Computational Logic
Toggle side column

Publications in 1988


Journal Articles

Franz Baader
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
Details
Franz Baader, W. Büttner
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
Details