Travelled to:
1 × USA
Collaborated with:
J.Pin H.Straubing
Talks about:
modular (1) formula (1) predic (1) order (1) first (1)
Person: Laura Chaubard
DBLP: Chaubard:Laura
Contributed to:
Wrote 1 papers:
- LICS-2006-ChaubardPS #composition #first-order
- First Order Formulas with Modular Predicates (LC, JÉP, HS), pp. 211–220.