Marius Petria

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Generic constructions for behavioral specifications.

Marius Petria

Theor. Comput. Sci., 2012

2010

Completeness by Forcing.

Daniel Gâinâ, Marius Petria

J. Log. Comput., 2010

Saturated models in institutions.

Razvan Diaconescu, Marius Petria

Arch. Math. Log., 2010

2007

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

Marius Petria

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Abstract Beth definability in institutions.

Razvan Diaconescu, Marius Petria

J. Symb. Log., 2006