Diaconescu, Răzvan; Madeira, Alexandre Encoding hybridized institutions into first-order logic. (English) Zbl 1362.03058 Math. Struct. Comput. Sci. 26, No. 5, 745-788 (2016). MSC: 03G30 03B45 03B62 PDFBibTeX XMLCite \textit{R. Diaconescu} and \textit{A. Madeira}, Math. Struct. Comput. Sci. 26, No. 5, 745--788 (2016; Zbl 1362.03058) Full Text: DOI
Sannella, Donald; Tarlecki, Andrzej Property-oriented semantics of structured specifications. (English) Zbl 1342.68218 Math. Struct. Comput. Sci. 24, No. 2, Article ID e240205, 37 p. (2014). MSC: 68Q65 68Q55 PDFBibTeX XMLCite \textit{D. Sannella} and \textit{A. Tarlecki}, Math. Struct. Comput. Sci. 24, No. 2, Article ID e240205, 37 p. (2014; Zbl 1342.68218) Full Text: DOI
Rabe, Florian A logical framework combining model and proof theory. (English) Zbl 1326.03082 Math. Struct. Comput. Sci. 23, No. 5, 945-1001 (2013). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03B70 68T15 PDFBibTeX XMLCite \textit{F. Rabe}, Math. Struct. Comput. Sci. 23, No. 5, 945--1001 (2013; Zbl 1326.03082) Full Text: DOI
Diaconescu, Răzvan Interpolation for predefined types. (English) Zbl 1279.68229 Math. Struct. Comput. Sci. 22, No. 1, 1-24 (2012). MSC: 68Q65 68Q55 PDFBibTeX XMLCite \textit{R. Diaconescu}, Math. Struct. Comput. Sci. 22, No. 1, 1--24 (2012; Zbl 1279.68229) Full Text: DOI
Iancu, Mihnea; Rabe, Florian Formalising foundations of mathematics. (English) Zbl 1242.03031 Math. Struct. Comput. Sci. 21, No. 4, 883-911 (2011). Reviewer: Viorica Sofronie-Stokkermans (Koblenz) MSC: 03B35 03B30 03E30 PDFBibTeX XMLCite \textit{M. Iancu} and \textit{F. Rabe}, Math. Struct. Comput. Sci. 21, No. 4, 883--911 (2011; Zbl 1242.03031) Full Text: DOI
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej Observational interpretation CASL specifications. (English) Zbl 1141.68026 Math. Struct. Comput. Sci. 18, No. 2, 325-371 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Bidoit} et al., Math. Struct. Comput. Sci. 18, No. 2, 325--371 (2008; Zbl 1141.68026) Full Text: DOI
Salibra, Antonino; Scollo, Giuseppe Interpolation and compactness in categories of pre-institutions. (English) Zbl 0860.03035 Math. Struct. Comput. Sci. 6, No. 3, 261-286 (1996). Reviewer: D.Mundici (Milano) MSC: 03C95 03G30 PDFBibTeX XMLCite \textit{A. Salibra} and \textit{G. Scollo}, Math. Struct. Comput. Sci. 6, No. 3, 261--286 (1996; Zbl 0860.03035) Full Text: DOI
Astesiano, Egidio; Cerioli, Maura Non-strict don’t care algebras and specifications. (English) Zbl 0846.68061 Math. Struct. Comput. Sci. 6, No. 1, 85-125 (1996). MSC: 68Q55 68Q60 PDFBibTeX XMLCite \textit{E. Astesiano} and \textit{M. Cerioli}, Math. Struct. Comput. Sci. 6, No. 1, 85--125 (1996; Zbl 0846.68061) Full Text: DOI
Orejas, Fernando; Navarro, Marisa; Sánchez, Ana Algebraic implementation of abstract data types: A survey of concepts and new compositionality results. (English) Zbl 0846.68070 Math. Struct. Comput. Sci. 6, No. 1, 33-67 (1996). MSC: 68Q65 PDFBibTeX XMLCite \textit{F. Orejas} et al., Math. Struct. Comput. Sci. 6, No. 1, 33--67 (1996; Zbl 0846.68070) Full Text: DOI
Kreowski, Hans-Jörg; Mossakowski, Till Equivalence and difference between institutions: simulating Horn clause logic with based algebras. (English) Zbl 0849.68080 Math. Struct. Comput. Sci. 5, No. 2, 189-215 (1995). Reviewer: C.Masalagiu (Iaşi) MSC: 68Q65 03B20 03G30 68N30 PDFBibTeX XMLCite \textit{H.-J. Kreowski} and \textit{T. Mossakowski}, Math. Struct. Comput. Sci. 5, No. 2, 189--215 (1995; Zbl 0849.68080) Full Text: DOI
Luo, Zhaohui Program specification and data refinement in type theory. (English) Zbl 0791.68109 Math. Struct. Comput. Sci. 3, No. 3, 333-363 (1993). MSC: 68Q60 68N01 03B15 68Q65 PDFBibTeX XMLCite \textit{Z. Luo}, Math. Struct. Comput. Sci. 3, No. 3, 333--363 (1993; Zbl 0791.68109) Full Text: DOI
Goguen, Joseph A. Sheaf-semantics for concurrent interacting objects. (English) Zbl 0763.18005 Math. Struct. Comput. Sci. 2, No. 2, 159-191 (1992). Reviewer: A.Maggiolo-Schettini (Pisa) MSC: 18F20 68Q10 18A35 PDFBibTeX XMLCite \textit{J. A. Goguen}, Math. Struct. Comput. Sci. 2, No. 2, 159--191 (1992; Zbl 0763.18005) Full Text: DOI