Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Lopes, A.
and
Fiadeiro, J. L.
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
380.
Baumgarten, B.
and
Wiland, H.
1998.
Testing of Communicating Systems.
p.
349.
Félix, J.
and
Lourenço, H.
2002.
Recent Trends in Algebraic Development Techniques.
Vol. 2267,
Issue. ,
p.
71.
Bujorianu, Marius C.
2004.
Integrated Formal Methods.
Vol. 2999,
Issue. ,
p.
421.
Bujorianu, Marius C.
and
Boiten, Eerke A.
2004.
Algebraic Methodology and Software Technology.
Vol. 3116,
Issue. ,
p.
57.
Mossakowski, Till
Goguen, Joseph
Diaconescu, RĂzvan
and
Tarlecki, Andrzej
2005.
Logica Universalis.
p.
113.
Petria, Marius
and
Diaconescu, Răzvan
2006.
Abstract Beth definability in institutions.
Journal of Symbolic Logic,
Vol. 71,
Issue. 3,
p.
1002.
Diaconescu, Răzvan
2006.
Algebra, Meaning, and Computation.
Vol. 4060,
Issue. ,
p.
65.
Mossakowski, Till
Goguen, Joseph
Diaconescu, Răzvan
and
Tarlecki, Andrzej
2007.
Logica Universalis.
p.
111.
Aiguier, Marc
and
Diaconescu, Răzvan
2007.
Stratified institutions and elementary homomorphisms.
Information Processing Letters,
Vol. 103,
Issue. 1,
p.
5.
Diaconescu, Răzvan
and
Stefaneas, Petros
2007.
Ultraproducts and possible worlds semantics in institutions.
Theoretical Computer Science,
Vol. 379,
Issue. 1-2,
p.
210.
Mossakowski, Till
Haxthausen, Anne E.
Sannella, Donald
and
Tarlecki, Andrezj
2008.
Logics of Specification Languages.
p.
241.
Diaconescu, Răzvan
and
Petria, Marius
2010.
Saturated models in institutions.
Archive for Mathematical Logic,
Vol. 49,
Issue. 6,
p.
693.
Diaconescu, R.
2012.
Borrowing interpolation.
Journal of Logic and Computation,
Vol. 22,
Issue. 3,
p.
561.
Diaconescu, Răzvan
2014.
Graded consequence: an institution theoretic study.
Soft Computing,
Vol. 18,
Issue. 7,
p.
1247.
Mossakowski, Till
Pawłowski, Wiesław
Sannella, Donald
and
Tarlecki, Andrzej
2014.
Specification, Algebra, and Software.
Vol. 8373,
Issue. ,
p.
66.
Diaconescu, Răzvan
2023.
Preservation in many-valued truth institutions.
Fuzzy Sets and Systems,
Vol. 456,
Issue. ,
p.
38.