Funder
Linz Institute of Technology
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. Complete sets of unifiers and matchers in equational theories;Fages;Theor. Comput. Sci.,1986
2. The theory of idempotent semigroups is of unification type zero;Baader;J. Autom. Reason.,1986
3. Unification under associativity and idempotence is of type nullary;Schmidt-Schauss;J. Autom. Reason.,1986
4. A note on inductive generalization;Plotkin;Mach. Intell.,1970
5. Transformational systems and the algebraic structure of atomic formulas;Reynolds;Mach. Intell.,1970