Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Aschieri, Federico
2018.
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains.
Electronic Proceedings in Theoretical Computer Science,
Vol. 281,
Issue. ,
p.
1.