|
|
Volumn 170, Issue 1-2, 1996, Pages 129-144
|
|
Tractability of cut-free Gentzen-type propositional calculus with permutation interference
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
AUTOMATA THEORY;
COMBINATORIAL MATHEMATICS;
COMPUTATIONAL COMPLEXITY;
FORMAL LANGUAGES;
POLYNOMIALS;
PROBLEM SOLVING;
THEOREM PROVING;
FREGE SYSTEMS;
GENTZEN-TYPE PROPOSITIONAL CALCULUS;
PERMUTATION INTERFERENCE;
PIGEON PRINCIPLES;
FORMAL LOGIC;
|
|
EID: 0030412904
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/0304-3975(95)00241-3 Document Type: Article |
|
Times cited : (10)
|
|
References (15)
|
