Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/BFb0027402 | TABLEAUX |
Keywords | Field | DocType |
natural deduction | Intuitionistic logic,Natural deduction,Computer science,Algorithm,Sequent calculus,Linear logic,Rule of inference,Calculus | Conference |
Volume | ISSN | ISBN |
1227 | 0302-9743 | 3-540-62920-3 |
Citations | PageRank | References |
0 | 0.34 | 13 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |