String Unification is Essentially Infinitary

Michael Hoche, Jörg H. Siekmann, Peter Szabó. String Unification is Essentially Infinitary. FLAP, 3(5):755-788, 2016. [doi]

Authors

Michael Hoche

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

Jörg H. Siekmann

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

Peter Szabó

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