1998 | ||
---|---|---|
4 | EE | 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 | EE | 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] |