CL&C

Keyphrases

Publications

2018

Sorin Stratulat
Validating Back-links of FOLID Cyclic Pre-proofs. CL&C (2018)
Gabriel Ebner
Fast Cut-Elimination using Proof Terms: An Empirical Study. CL&C (2018)
Federico Aschieri
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains. CL&C (2018)
Andrea Condoluci, Matteo Manighetti
Admissible Tools in the Kitchen of Intuitionistic Logic. CL&C (2018)

volume 281, 2018

Proceedings Seventh International Workshop on Classical Logic and Computation, CL&C 2018, Oxford (UK), 7th of July 2018. CL&C 281 (2018)

2016

volume 213, 2016

Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016. CL&C 213 (2016)

2014

volume 164, 2014

Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014. CL&C 164 (2014)

2012

volume 97, 2012

Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. CL&C 97 (2012)

2010

volume 47, 2010

Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010. CL&C 47 (2010)