C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Explicit Formula for the Free Exponential Modality of Linear Logic.
Paul-André Melliès
Nicolas Tabareau
Christine Tasson
Published in:
ICALP (2) (2009)
Keyphrases
</>
linear logic
fixed point
multi modal
logic programming
desirable properties
sequent calculus
proof search
proof theoretic
cut elimination
inference rules
medical images
logical framework
intuitionistic logic
natural language
np hard