No. Title Author Year
1 A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions Das, Anupam et al. 2018
2 Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices) Das, Anupam et al. 2018
3 Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic Baillot, Patrick et al. 2016
4 No complete linear term rewriting system for propositional logic Das, Anupam et al. 2015
5 Rewriting with Linear Inferences in Propositional Logic Das, Anupam 2013
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI