String Unification is Essentially Infinitary

Jörg H. Siekmann, Michael Hoche, Peter Szabó. String Unification is Essentially Infinitary. In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. pages 82-102, 2008. [doi]

Authors

Jörg H. Siekmann

This author has not been identified. Look up 'Jörg H. Siekmann' in Google

Michael Hoche

This author has not been identified. Look up 'Michael Hoche' in Google

Peter Szabó

This author has not been identified. Look up 'Peter Szabó' in Google