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 × Hungary
1 × Israel
1 × Russia
Collaborated with:
M.Kufleitner J.Pin J.Birget S.W.Margolis J.C.Meakin
Talks about:
hierarchi (2) algorithm (1) unambigu (1) subgroup (1) polynomi (1) product (1) problem (1) complet (1) certain (1) algebra (1)

Person: Pascal Weil

DBLP DBLP: Weil:Pascal

Contributed to:

DLT 20142014
CSL 20122012
ICALP 19951995
ICALP 19941994

Wrote 4 papers:

DLT-2014-Weil #algebra #logic
From Algebra to Logic: There and Back Again The Story of a Hierarchy — (PW), pp. 275–278.
CSL-2012-KufleitnerW #decidability
The FO2 alternation hierarchy is decidable (MK, PW), pp. 426–439.
ICALP-1995-PinW #ambiguity #polynomial
Polynomial Closure and Unambiguous Product (JÉP, PW), pp. 348–359.
ICALP-1994-BirgetMMW #algorithm #problem
PSPACE-Completeness of Certain Algorithmic Problems on the Subgroups of Free Groups (JCB, SWM, JCM, PW), pp. 274–285.

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.