What Is Essential Unification?

Peter Szabó, Jörg H. Siekmann, Michael Hoche. What Is Essential Unification?. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 285-314, Springer, 2016. [doi]

Authors

Peter Szabó

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

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