`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:

### 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.