- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| 4 |      | Paul Gastin, Raphaël Meyer, Antoine Petit: A (Non-elementary) Modular Decision Procedure for LTrL. MFCS 1998: 356-365 |
| 3 | | Raphaël Meyer, Antoine Petit: Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof. STACS 1998: 533-543 |
| 2 | | Giovanna Guaiana, Raphaël Meyer, Antoine Petit, Pascal Weil: An Extension of the Wreath Product Principle for Finite Mazurkiewicz Traces. Inf. Process. Lett. 67(6): 277-282 (1998) |
| 1997 | ||
| 1 | | Raphaël Meyer, Antoine Petit: Decomposition of TrPTL Formulas. MFCS 1997: 418-427 |
| 1 | Paul Gastin | [4] |
| 2 | Giovanna Guaiana | [2] |
| 3 | Antoine Petit | [1] [2] [3] [4] |
| 4 | Pascal Weil | [2] |