Results 291 to 295 of about 99,447 (295)

Unification of Time

Science, 1884
openaire   +2 more sources

Order-sorted Equational Unification Revisited

Electronic Notes in Theoretical Computer Science, 2012
Joe Hendrix
exaly  

A unification of some order relations

Insurance: Mathematics and Economics, 1996
exaly  

Explanatory Unification

Synthese, 2002
openaire   +1 more source

Universal Unification

1982
Jörg H. Siekmann, Peter Szabó
openaire   +1 more source