First-order linear logic without modalities is NEXPTIME-hard

✍ Scribed by P. Lincoln; A. Scedrov

• Publisher: Elsevier Science
• Year: 1994
• Tongue: English
• Weight: 1008 KB
• Volume: 135
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(94)00107-3