BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
set (2)
languag (2)
probabilist (1)
reachabl (1)
recogn (1)

Stem nonregular$ (all stems)

4 papers:

DLTDLT-2005-Straubing #regular expression
Inexpressibility Results for Regular Languages in Nonregular Settings (HS), pp. 69–77.
ICALPICALP-1997-BouajjaniH #analysis #reachability #set
Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract) (AB, PH), pp. 560–570.
LICSLICS-1995-BouajjaniEH #on the #problem #process #verification
On the Verification Problem of Nonregular Properties for Nonregular Processes (AB, RE, PH), pp. 123–133.
ICALPICALP-1991-KanepsF #automaton #probability #regular expression
Running Time to Recognize Nonregular Languages by 2-Way Probabilistic Automata (JK, RF), pp. 174–185.

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.