Fabrice Barbier

According to our database¹, Fabrice Barbier authored at least 3 papers between 2003 and 2007.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2007

An Institution-independent Proof of the Beth Definability Theorem.

[BibT_eX]

[DOI]

Marc Aiguier

Fabrice Barbier

Stud Logica, 2007

2005

Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques. (Abstract Model Theory Results in the Framework of the Institutions: Towards logics combination).

[BibT_eX]

[DOI]

Fabrice Barbier

PhD thesis, 2005

2003

A Logic with Temporal Glue for Mixed Specifications.

[BibT_eX]

[DOI]

Marc Aiguier

Fabrice Barbier

Pascal Poizat

Proceedings of FOCLASA 2003, 2003

Fabrice Barbier

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...