Pages that link to "Item:Q4041633"
From MaRDI portal
The following pages link to Bounds on Positive Integral Solutions of Linear Diophantine Equations (Q4041633):
Displaying 16 items.
- Analyzing Reachability for Some Petri Nets With Fast Growing Markings (Q4982096) (← links)
- (Q5002821) (← links)
- (Q5009428) (← links)
- Minimal solutions of linear diophantine systems : bounds and algorithms (Q5055757) (← links)
- General Feasibility Bounds for Sample Average Approximation via Vapnik--Chervonenkis Dimension (Q5087110) (← links)
- On Affine Reachability Problems (Q5089216) (← links)
- (Q5216302) (← links)
- Exact Augmented Lagrangian Duality for Mixed Integer Quadratic Programming (Q5853719) (← links)
- Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time (Q6154978) (← links)
- Simulation by Rounds of Letter-to-Letter Transducers (Q6178697) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
- On \(\Delta\)-modular integer linear problems in the canonical form and equivalent problems (Q6200377) (← links)
- On the complexity of the linear-time μ-calculus for Petri Nets (Q6487371) (← links)
- Two variable logic with ultimately periodic counting (Q6573777) (← links)
- Reasoning about reversal-bounded counter machines (Q6599624) (← links)
- Positive existential Definability with unit, addition and coprimeness (Q6666557) (← links)