Paper Info
Title
Correctness of multiplicative (and exponential) proof structures is NL-complete
Abstract
We provide a new correctness criterion for unit-free MLL proof structures and MELL proof structures with units. We prove that deciding the correctness of a MLL and of a MELL proof structure is NL- complete. We also prove that deciding the correctness of an intuitionistic multiplicative essential net is NL-complete.
Year
DOI
Venue
2007
10.1007/978-3-540-74915-8_33
CSL
Keywords
Field
DocType
new correctness criterion,mell proof structure,unit-free mll proof structure
Discrete mathematics,Combinatorics,NL-complete,Exponential function,Multiplicative function,Correctness,Mathematics
Conference
Volume
ISSN
ISBN
4646
0302-9743
3-540-74914-4
Citations 
PageRank 
References 
3
0.42
12
Authors
2
Name
Order
Citations
PageRank
Paulin Jacobé de Naurois1344.98
Virgile Mogbil2696.77