Searching for "Many-sorted unification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Legal Knowledge Based Systems
by Jurix Model-Based Legal, J. A. P. J. Breuker, R. V. De Mulder, J. C. Hage, Mr. C. N. J, Vey Mestdagh, Nienke Den Haan, Joost Breuker — 1991
… in the situation is computed using the type-hierarchies (see Frisch:91 on many-sorted unification). E.g. when…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB