Author:
Aoto Takahito,Iwami Munehiro
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
2. Dörre, J., Rounds, W.C.: On subsumption and semiunification in feature algebras. In: Proc. of LICS 1990, pp. 300–310. IEEE (1990)
3. Lecture Notes in Artificial Intelligence;J. Giesl,2005
4. Henglein, F.: Algebraic properties of semi-unification. In: Proc. of LFP 1988. ACM Press (1988)
5. Henglein, F.: Polymorphic Type Inference and Semi-Unification. Ph.D. thesis, Rutgers University (1989)