Building and integrating semantic theories over institutions
type: Item
instance of: scholarly article
title: Building and integrating semantic theories over institutions
zbMATH Open document ID: 1439.68015
DOI: 10.1007/978-3-319-68103-0_17
author: Nicola Angius
author: Maria Dimarogkona
author: Petros Stefaneas
publication date: 2018-02-15T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03C95
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 6839287
zbMATH Keywords: abstract model theory
zbMATH Keywords: semantic view of theories
zbMATH Keywords: institution theory
zbMATH Keywords: algebraic specifications
MaRDI profile type: Publication
full work available at URL: 978-3-319-68103-0 17
OpenAlex ID: W2775668770
description: scientific article; zbMATH DE number 6839287