Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers
type: Item
instance of: scholarly article
title: Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers
zbMATH Open document ID: 0889.00030
published in: Lecture Notes in Computer Science
publication date: 1998-05-15T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Ehrig, H.; Gajewsky, M.; Wolter, U.}, From abstract data types to algebraic development techniques: A shift of paradigms, 1-17 [Zbl 0901.68128] \textit{Meseguer, José}, Membership algebra as a logical framework for equational specification, 18-61 [Zbl 0903.08009] \textit{Meseguer, José; Montanari, Ugo}, Mapping tile logic into rewriting logic, 62-91 [Zbl 0903.08010] \textit{Borzyszkowski, Tomasz}, Completeness of a logical system for structured specifications, 107-121 [Zbl 0901.03028] \textit{Cîrstea, Corina}, Coalgebra semantics for hidden algebra: Parameterised objects and inheritance, 174-189 [Zbl 0906.68094] \textit{Corradini, Andrea}, A completeness result for equational deduction in coalgebraic specification, 190-205 [Zbl 0903.08007] \textit{Gadducci, F.; Heckel, R.}, An inductive view of graph transformation, 223-237 [Zbl 0901.18003] \textit{Lasota, Sławomir}, Open maps as a bridge between algebraic observational equivalence and bisimilarity, 285-299 [Zbl 0903.08008] \textit{Martini, Alfio; Wolter, Uwe}, A systematic study of mappings between institutions, 300-315 [Zbl 0901.03032] \textit{Mossakowski, Till}, Colimits of order-sorted specifications, 316-332 [Zbl 0902.18002] \textit{Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław}, Combining and representing logical systems using model-theoretic parchments, 349-364 [Zbl 0907.03030] \textit{Pawłowski, Wiesław}, Context parchments, 381-401 [Zbl 0945.03096] \textit{Walicki, Michał; Białasik, Marcin}, Categories of relational structures, 418-433 [Zbl 0907.08002]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1153127
zbMATH Keywords: Tarquinia (Italy)
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: WADT '97
zbMATH Keywords: Algebraic development techniques
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1153127