On the decision problem for MELL
type: Item
instance of: scholarly article
title: On the decision problem for MELL
zbMATH Open document ID: 1454.03084
author: Lutz Straßburger
published in: Theoretical Computer Science
publication date: 2019-03-26T00:00:00Z
full work available at URL: OnDeciMELL.pdf
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 7041830
zbMATH Keywords: linear logic
zbMATH Keywords: MELL
zbMATH Keywords: decidability
zbMATH Keywords: relevant logic
describes a project that uses: Easychair
MaRDI profile type: Publication
OpenAlex ID: W2898547131
cites work: Q4085699
cites work: The decidability of the intensional fragment of classical linear logic
cites work: Turning cycles into spirals
cites work: Q5015208
cites work: Linear logic
cites work: A system of interaction and structure
cites work: Normalisation Control in Deep Inference via Atomic Flows
cites work: Q4783301
cites work: Q4428303
cites work: A system of interaction and structure V: the exponentials and splitting
cites work: A Decision Procedure For the System EĪ of Entailment with Negation
cites work: System BV is NP-complete
cites work: The complexity of Horn fragments of linear logic
cites work: Q4842971
cites work: Parallel program schemata
cites work: A completeness theorem in modal logic
cites work: The undecidability of second order multiplicative linear logic
cites work: How to Program an Infinite Abacus
cites work: Nonelementary Complexities for Branching VASS, MELL, and Extensions
cites work: Demystifying Reachability in Vector Addition Systems
cites work: Decision problems for propositional linear logic
cites work: An Algorithm for the General Petri Net Reachability Problem
cites work: Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
cites work: The finite model property for various fragments of intuitionistic linear logic
cites work: Q3024915
cites work: Q4263800
cites work: IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE
cites work: MELL in the calculus of structures
cites work: System NEL is Undecidable
cites work: A system of interaction and structure IV
cites work: The complexity of decision procedures in relevance logic II
DOI: 10.1016/J.TCS.2019.02.022
description: scientific article; zbMATH DE number 7041830