Proof Complexity of the Cut-free Calculus of Structures

Jeřábek Emil



Název
Proof Complexity of the Cut-free Calculus of Structures
Překlad názvu
Důkazová složitost bezřezového kalkulu struktur
Autor
lupa Jeřábek Emil MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 323-339
Vyd.údaje
17 s.
Poznámky
IAA900090703 1M0545
Druh dok.
J
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
proof complexity * calculus of structures * monotone sequent calculus
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0171376