BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
set (5)
way (4)
languag (3)
machin (3)
two (2)

Stem semilinear$ (all stems)

10 papers:

AFLAFL-J-2011-IbarraS12 #bound #linear
Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines (OHI, SS), pp. 1291–1306.
AFLAFL-2011-IbarraS #bound #linear
Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines (OHI, SS), pp. 211–224.
CIAACIAA-J-2008-Yen09 #composition #petri net
Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.
ICALPICALP-v2-2009-BodirskyJO #linear
Semilinear Program Feasibility (MB, PJ, TvO), pp. 79–90.
CIAACIAA-2004-Lugiez #automaton #linear #logic #set
From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P) (DL), pp. 321–322.
ICALPICALP-2001-HarjuIKS #morphism
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages (TH, OHI, JK, AS), pp. 579–590.
DLTDLT-1999-Petre #on the
On semilinearity in formal power series (IP), pp. 220–231.
ICALPICALP-1996-Lisovik #linear #set
Hard Sets Method and Semilinear Reservoir Method with Applications (LPL), pp. 219–231.
ICALPICALP-1980-Huynh #complexity #linear #set
The Complexity of Semilinear Sets (TDH), pp. 324–337.
STOCSTOC-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.