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
Search
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of