Nonelementary Complexities for Branching VASS, MELL, and Extensions (Q2946760): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Non-elementary complexities for branching VASS, MELL, and extensions
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6863119
@@ Property / title @@
+Non-elementary complexities for branching VASS, MELL, and extensions (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68189
@@ Property / zbMATH Open document ID: 1394.68189 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/2603088.2603129
@@ Property / DOI: 10.1145/2603088.2603129 / rank @@
+Normal rank
@@ Property / published in @@
+Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
+Normal rank
@@ Property / publication date @@
+April 2018Timestamp +2018-04-23T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2018-04-23T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 23 April 2018 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6863119
@@ Property / zbMATH DE Number: 6863119 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+substructural logic
@@ Property / zbMATH Keywords: substructural logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2568513581
@@ Property / OpenAlex ID: W2568513581 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2221764640
@@ Property / OpenAlex ID: W2221764640 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6785
@@ Property / arXiv ID: 1401.6785 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Parity Games on Integer Vectors
@@ Property / cites work: Solving Parity Games on Integer Vectors / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Light Affine Logic
@@ Property / cites work: Intuitionistic Light Affine Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Analysis of recursively parallel programs
@@ Property / cites work: Analysis of recursively parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating Vector Addition Systems with States
@@ Property / cites work: Alternating Vector Addition Systems with States / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for branching vector addition systems
+Normal rank
@@ Property / cites work @@
+Petri nets, Horn programs, linear logic and vector games
+Normal rank
@@ Property / cites work @@
+Decidability of linear affine logic
@@ Property / cites work: Decidability of linear affine logic / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of linear logic
+Normal rank
@@ Property / cites work @@
+Nondeterministic Phase Semantics and the Undecidability of Boolean BI
+Normal rank
@@ Property / cites work @@
+The reachability problem for branching vector addition systems requires doubly-exponential space
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic functions. I
@@ Property / cites work: Hierarchies of number-theoretic functions. I / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of the Finite Containment Problem for Petri Nets
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Complexity Hierarchies beyond Elementary
@@ Property / cites work: Complexity Hierarchies beyond Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank
@@ Property / cites work @@
+The complexity of decision procedures in relevance logic II
+Normal rank
@@ Property / cites work @@
+Q4944927
@@ Property / cites work: Q4944927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5387658
@@ Property / cites work: Q5387658 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2946760

Latest revision as of 18:31, 10 July 2024

scientific article; zbMATH DE number 6863119

Non-elementary complexities for branching VASS, MELL, and extensions

Language	Label	Description	Also known as
English	Nonelementary Complexities for Branching VASS, MELL, and Extensions	scientific article; zbMATH DE number 6863119	Non-elementary complexities for branching VASS, MELL, and extensions