- On the Complexity of the Disjunction Property in Intuitionistic and Modal Logics Mauro Ferrari Camillo Fiorentini Guido Fiorino Mon 14 September 2020
- Primitive recursion for higher-order abstract syntax Carsten Schurmann Joelle Despeyroux Frank Pfenning Wed 03 April 2019
- The Decidability of the Intensional Fragment of Classical Linear Logic Katalin BimboĢ Wed 31 August 2016
- The Proof Theory and Semantics of Intuitionistic Modal Logic Alex Simpson Mon 19 October 2015
- The Alternation Hierarchy in Fixpoint Logic with Chop is Strict Too Martin Lange Wed 19 March 2014
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
