A Characterization of Semilinear Sets
From MaRDI portal
Publication:5569453
DOI10.2307/2036448zbMath0179.02102OpenAlexW4234162326MaRDI QIDQ5569453
Publication date: 1969
Full work available at URL: https://doi.org/10.2307/2036448
Related Items
Forward analysis and model checking for trace bounded WSTS ⋮ Unboundedness Problems for Languages of Vector Addition Systems. ⋮ Forward Analysis and Model Checking for Trace Bounded WSTS ⋮ Finite-turn checking automata ⋮ Theory of formal grammars
Cites Work