About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us

Previous | Up | Next

Author: Ježek, Jaroslav

Ježek, Jaroslav: A note on finite sets of terms closed under subterms and unification. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 37 (1996), issue 3, pp. 655-656

Browse
- Collections
- Titles
- Authors
- MSC

Partner of