David Michel

Affiliations:

LIX, CNRS
L.I.T.A, University of Metz, France

According to our database¹, David Michel authored at least 4 papers between 2007 and 2010.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2010

B-ASM: Specification of ASM à la B.

[BibT_eX]

[DOI]

David Michel

Frédéric Gervais

Pierre Valarcher

Proceedings of the Abstract State Machines, 2010

2009

Pedagogical second-order lambda-calculus.

[BibT_eX]

[DOI]

Loïc Colson

David Michel

Theor. Comput. Sci., 2009

2008

Pedagogical Second-order Propositional Calculi.

[BibT_eX]

[DOI]

Loïc Colson

David Michel

J. Log. Comput., 2008

2007

Pedagogical Natural Deduction Systems: the Propositional Case.

[BibT_eX]

[DOI]

Loïc Colson

David Michel

J. Univers. Comput. Sci., 2007

David Michel

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...