Publisher
Springer International Publishing
Reference17 articles.
1. Baader, F.: The theory of idempotent semigroups is of unification type zero. J. Autom. Reasoning 2(3), 283–286 (1986)
2. Baader, F.: Unification in commutative theories. J. Symb. Comput. 8(5), 479–497 (1989)
3. Baader, F.: Remarks on ACUI, personal communication (2016)
4. Franz, B., Borgwardt, S., Morawska, B.: Extending unification in EL to disunification: the case of dismatching and local disunification. Log. Methods Comput. Sci. 12(4) (2016)
5. Baader, F., Ludmann, P.: The exact unification type of commutative theories. In: Ghilardi, S., Schmidt-Schauß, M. (eds.) Informal Proceedings of the 30th International Workshop on Unification (UNIF 2016) (2016)