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

DML-CZ Home

Author: Bílková, Marta

Bílková, Marta: Monotone sequent calculus and resolution. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 42 (2001), issue 3, pp. 575-582

Browse
- Collections
- Titles
- Authors
- MSC

Partner of