Searching for "Semi-Unification." – sorted by Relevance.
69 documents found, showing 1 through 10.
Next 10 →
-
Semi-Unification
- …1 Semi-Unification Rolf Socher-Ambrosius Max-Planck-Institut f��r Informatik, Im Stadtwald, D…
- Add To MetaCart
-
A General Theory of Semi-Unification
- …A General Theory of Semi-Unification Said Jahama Boston University (jahama@(email omitted);) A…
- Add To MetaCart
-
Logic Program Schemas, Constraints and Semi-Unification
- …Logic Program Schemas, Constraints and Semi-Unification Eric Chasseur and Yves Deville Universit…
- Cited by 8 (1 self) – Add To MetaCart
-
Logic Program Schemas, Semi-Unification and Constraints
- …Logic Program Schemas, Semi-Unification and Constraints Eric Chasseur Yves Deville Universit…
- Cited by 2 (0 self) – Add To MetaCart
-
Polymorphic Type Inference and Semi-Unification
- …Polymorphic Type Inference and Semi-Unification Fritz Henglein 1 Courant Institute…
- Cited by 18 (2 self) – Add To MetaCart
-
Fast Algorithms for Uniform Semi-Unification
- …Fast Algorithms for Uniform Semi-Unification Preliminary Draft Alberto Oliart, Wayne Snyder…
- Cited by 4 (1 self) – Add To MetaCart
-
Semi-unification of Two Terms in Abelian Groups
- …Programming Methodology Group Goteborg University and Chalmers University of Technology Semi-unification…
- Cited by 3 (2 self) – Add To MetaCart
-
Semi-unification and Periodicity of Turing Machines
- … Semi-unification and Periodicity of Turing Machines Luc'ilia Figueiredo1 and Carlos Camar~ao2 1…
- Add To MetaCart
-
An Extension of Baaz's Algorithm to E-semi-unification with One Inequality
- …An Extension of Baaz's Algorithm to E-semi-unication with One Inequality Preliminary Report…
- Add To MetaCart
-
Logic Program Schemas, Constraints and
- …Logic Program Schemas, Constraints and Semi-Uni cation Eric Chasseur and Yves Deville Universite…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
