Paper Info
Title
A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms.
Year
Venue
DocType
2020
CILC
Conference
Volume
Citations 
PageRank 
2710
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Camillo Fiorentini112121.00
Mauro Ferrari29316.05