Marius Petria

According to our database¹, Marius Petria authored at least 5 papers between 2006 and 2012.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2012

Generic constructions for behavioral specifications.

[BibT_eX]

[DOI]

Marius Petria

Theor. Comput. Sci., 2012

2010

Completeness by Forcing.

[BibT_eX]

[DOI]

Daniel Gâinâ

Marius Petria

J. Log. Comput., 2010

Saturated models in institutions.

[BibT_eX]

[DOI]

Razvan Diaconescu

Marius Petria

Arch. Math. Log., 2010

2007

An Institutional Version of Gödel's Completeness Theorem.

[BibT_eX]

[DOI]

Marius Petria

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Abstract Beth definability in institutions.

[BibT_eX]

[DOI]

Razvan Diaconescu

Marius Petria

J. Symb. Log., 2006

Marius Petria

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...