Paper Info
Title
Semi-Axiomatic Sequent Calculus.
Year
DOI
Venue
2020
10.4230/LIPIcs.FSCD.2020.29
FSCD
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Henry DeYoung1694.74
Frank Pfenning201.69
Klaas Pruiksma300.68