Paper Info
Title
Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle.
Year
DOI
Venue
2021
10.4230/LIPIcs.CSL.2021.11
CSL
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
M. Bickford11018.60
Liron Cohen23611.24
Robert L. Constable3778242.51
Vincent Rahli4439.21