Unification in Finite Algebras is Unitary (?) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wolfram Büttner. Unification in Finite Algebras is Unitary (?). In Ewing L. Lusk, Ross A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Volume 310 of Lecture Notes in Computer Science, pages 368-377, Springer, 1988.

This author has not been identified. Look up 'Wolfram Büttner' in Google

runs on WebDSL