Searching for "Semi-Unification." – sorted by Relevance.
-
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

