No. Title Author Year
1 Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic Baillot, Patrick et al. 2016
2 No complete linear term rewriting system for propositional logic Das, Anupam et al. 2015
3 Rewriting with Linear Inferences in Propositional Logic Das, Anupam 2013
Current Page :
Number of result pages: 1
Number of documents: 3

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