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.