Raphal Meyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1997–1998
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | MFCS | A (Non-elementary) Modular Decision Procedure for LTrL. | Paul Gastin, Raphal Meyer, Antoine Petit |
| 1998 | STACS | Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof. | Raphal Meyer, Antoine Petit |
| 1997 | MFCS | Decomposition of TrPTL Formulas. | Raphal Meyer, Antoine Petit |