BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Hungary
1 × Japan
1 × New Zealand
2 × USA
Collaborated with:
F.D'Alessandro A.d.Luca G.Richomme M.Anselmo D.Giammarresi A.Carpi F.Bergadano D.Catalano
Talks about:
quasi (4) order (4) well (4) languag (2) finit (2) set (2) non (2) membership (1) structur (1) automata (1)

Person: Stefano Varricchio

DBLP DBLP: Varricchio:Stefano

Contributed to:

DLT 20082008
DLT 20062006
DLT 20042004
DLT 20032003
CIAA 20022002
DLT 19991999
STOC 19961996
ICALP 19901990

Wrote 8 papers:

DLT-2008-DAlessandroV #formal method
Well Quasi-orders in Formal Language Theory (FD, SV), pp. 84–95.
DLT-2006-DAlessandroRV #finite #order #set
Well Quasi Orders and the Shuffle Closure of Finite Sets (FD, GR, SV), pp. 260–269.
DLT-2004-DAlessandroV #set
Avoidable Sets and Well Quasi-Orders (FD, SV), pp. 139–150.
DLT-2003-DAlessandroV #on the
On Well Quasi-orders on Languages (FD, SV), pp. 230–241.
CIAA-2002-AnselmoGV #automaton #finite #self
Finite Automata and Non-self-Embedding Grammars (MA, DG, SV), pp. 47–56.
Special factors in some combinational structures (AC, AdL, SV), pp. 3–13.
STOC-1996-BergadanoCV #learning #query
Learning Sat-k-DNF Formulas from Membership Queries (FB, DC, SV), pp. 126–130.
ICALP-1990-LucaV #on the
On Non-Counting Regular Classes (AdL, SV), pp. 74–87.

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.