## Stem semilinear$ (all stems)

### 10 papers:

- AFL-J-2011-IbarraS12 #bound #linear
- Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines (OHI, SS), pp. 1291–1306.
- AFL-2011-IbarraS #bound #linear
- Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines (OHI, SS), pp. 211–224.
- CIAA-J-2008-Yen09 #composition #petri net
- Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.
- ICALP-v2-2009-BodirskyJO #linear
- Semilinear Program Feasibility (MB, PJ, TvO), pp. 79–90.
- CIAA-2004-Lugiez #automaton #linear #logic #set
- From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P) (DL), pp. 321–322.
- ICALP-2001-HarjuIKS #morphism
- Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages (TH, OHI, JK, AS), pp. 579–590.
- DLT-1999-Petre #on the
- On semilinearity in formal power series (IP), pp. 220–231.
- ICALP-1996-Lisovik #linear #set
- Hard Sets Method and Semilinear Reservoir Method with Applications (LPL), pp. 219–231.
- ICALP-1980-Huynh #complexity #linear #set
- The Complexity of Semilinear Sets (TDH), pp. 324–337.
- STOC-1979-GurariI #complexity #equivalence #linear #problem #set #source code
- The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs (EMG, OHI), pp. 142–152.