Raphaël Meyer

Affiliations:

ENS Cachan, LSV, Paris, France

According to our database¹, Raphaël Meyer authored at least 4 papers between 1997 and 1998.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

1998

An Extension of the Wreath Product Principle for Finite Mazurkiewicz Traces.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1998

Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof.

[BibT_eX]

[DOI]

Raphaël Meyer

Antoine Petit

Proceedings of the STACS 98, 1998

A (Non-elementary) Modular Decision Procedure for LTrL.

[BibT_eX]

[DOI]

Paul Gastin

Raphaël Meyer

Antoine Petit

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Decomposition of TrPTL Formulas.

[BibT_eX]

[DOI]

Raphaël Meyer

Antoine Petit

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Raphaël Meyer

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...