Putting consistent theories together in institutions
type: Item
instance of: scholarly article
title: Putting consistent theories together in institutions
zbMATH Open document ID: 0837.68073
DOI: 10.1007/BF02943493
published in: Journal of Computer Science and Technology
publication date: 1995-07-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68U20
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 777778
zbMATH Keywords: software engineering
zbMATH Keywords: abstract model theory
zbMATH Keywords: consistent theories
author: Mingsheng Ying
MaRDI profile type: Publication
cites work: Institutions: abstract model theory for specification and programming
full work available at URL: https://doi.org/10.1007/bf02943493
OpenAlex ID: W2061119032
description: scientific article; zbMATH DE number 777778