Marius Petria

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2012

Generic constructions for behavioral specifications.

[DOI]

Theor. Comput. Sci., 2012

2010

Completeness by Forcing.

[DOI]

J. Log. Comput., 2010

Saturated models in institutions.

[DOI]

Arch. Math. Log., 2010

2007

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

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Abstract Beth definability in institutions.

[DOI]

J. Symb. Log., 2006