dblp.uni-trier.dewww.uni-trier.de

Raphaël Meyer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
4EEPaul 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
2EEGiovanna 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

Coauthor Index

1Paul Gastin [4]
2Giovanna Guaiana [2]
3Antoine Petit [1] [2] [3] [4]
4Pascal Weil [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)