Structured theories and institutions
type: Item
instance of: scholarly article
title: Structured theories and institutions
zbMATH Open document ID: 1070.68090
DOI: 10.1016/S0304-3975(03)00312-8
author: Francisco Durán
author: José Meseguer
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 18C10
zbMATH DE Number: 2110999
zbMATH Keywords: Structured theories
zbMATH Keywords: Institutions
zbMATH Keywords: Maude
describes a project that uses: OBJ3
describes a project that uses: CafeOBJ
describes a project that uses: CASL
describes a project that uses: Maude
describes a project that uses: Specware
MaRDI profile type: Publication
cites work: Q3682648
cites work: Q2736338
cites work: Algebraic system specification and development. A survey and annotated bibliography
cites work: Q3906394
cites work: Maude: specification and programming in rewriting logic
cites work: Q4222856
cites work: CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
cites work: Q4222990
cites work: Q4499235
cites work: Q3221381
cites work: Q3995131
cites work: Q5416166
cites work: Institutions: abstract model theory for specification and programming
cites work: Q5639839
cites work: Q4222859
cites work: Q3032225
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Institutions for logic programming
cites work: Q3923580
cites work: Specifications in an arbitrary institution
cites work: Q3666260
cites work: Q5666704
cites work: Towards heterogeneous specifications
description: scientific article; zbMATH DE number 2110999