Correctness of Multiplicative Additive Proof Structures is NL-Complete

The authors revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NL-complete.

Uložené v:

Podrobná bibliografia
Vydané v:	2008 23rd Annual IEEE Symposium on Logic in Computer Science s. 476 - 485
Hlavní autori:	de Naurois, P.J., Mogbil, V.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2008
Predmet:	Additives Calculus Complexity theory Computational Complexity Computer science Correctness Criterion Jacobian matrices Logic Multiplicative Additive Linear Logic NL-completness Parallel algorithms proof-nets
ISBN:	9780769531830, 0769531830
ISSN:	1043-6871
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!