Linear equations with ordered data
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 176134 (Why is no real title available?)
- scientific article; zbMATH DE number 1302046 (Why is no real title available?)
- scientific article; zbMATH DE number 7297813 (Why is no real title available?)
- Approaching the coverability problem continuously
- Complexity analysis of continuous Petri nets
- Continuous Petri nets: expressive power and decidability issues
- Coverability trees for Petri nets with unordered data
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
- Decidability and complexity of Petri nets with unordered data
- Demystifying Reachability in Vector Addition Systems
- Locally finite constraint satisfaction problems
- Logics for continuous reachability in Petri nets and vector addition systems with states
- Minimal solutions of linear diophantine systems : bounds and algorithms
- Modelling infinite structures with atoms
- Nets with tokens which carry data
- Reducibility among combinatorial problems
- The taming of the semi-linear set
- Turing machines with atoms
Cited in
(7)- scientific article; zbMATH DE number 4066981 (Why is no real title available?)
- Improved lower bounds for reachability in vector addition systems
- Orbit-finite linear programming
- Solvability of orbit-finite systems of linear equations
- scientific article; zbMATH DE number 7559504 (Why is no real title available?)
- scientific article; zbMATH DE number 7297813 (Why is no real title available?)
- Linear equations for unordered data vectors in $[D]^k\to{}Z^d$
This page was built for publication: Linear equations with ordered data
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5009439)
