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: Weil:Pascal
Contributed to:
2014
2012
19951994Wrote 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.