Partner
1 Matching Results
Results open in a new window/tab.
Results:
1 - 1 of
1
Deriving Theorems in Implicational Linear Logic, Declaratively
This article aims to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. It was presented at the 36th International Conference on Logic Programming (ICLP).
Date:
September 19, 2020
Creator:
Tarau, Paul & de Paiva, Valeria
System:
The UNT Digital Library