Development graphs -- proof management for structured specifications
type: Item
instance of: scholarly article
title: Development graphs -- proof management for structured specifications
zbMATH Open document ID: 1088.68114
author: Till Mossakowski
author: Serge Autexier
author: Dieter Hutter
published in: The Journal of Logic and Algebraic Programming
publication date: 2006-04-28T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 5020442
zbMATH Keywords: Algebraic specification
zbMATH Keywords: Structuring
zbMATH Keywords: Proof calculus
zbMATH Keywords: Institutions
describes a project that uses: Hets
MaRDI profile type: Publication
full work available at URL: j.jlap.2005.09.005
OpenAlex ID: W2129292012
cites work: Q4293501
cites work: Q2722016
cites work: Q4737121
cites work: Module algebra
cites work: Logical systems for structured specifications.
cites work: Structured theories and institutions
cites work: Institutions: abstract model theory for specification and programming
cites work: Proof systems for structured specifications with observability operators
cites work: Q3032225
cites work: Q4708606
cites work: Q2764131
cites work: Composing Hidden Information Modules over Inclusive Institutions
cites work: Specifications in an arbitrary institution
cites work: Essential concepts of algebraic specification and program development
cites work: Amalgamation in the semantics of CASL
DOI: 10.1016/J.JLAP.2005.09.005
description: scientific article