×

zbMATH — the first resource for mathematics

Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3–7, 1997. Selected papers. (English) Zbl 0889.00030
Lecture Notes in Computer Science. 1376. Berlin: Springer. viii, 435 p. (1998).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually.
Indexed articles:
Ehrig, H.; Gajewsky, M.; Wolter, U., From abstract data types to algebraic development techniques: A shift of paradigms, 1-17 [Zbl 0901.68128]
Meseguer, José, Membership algebra as a logical framework for equational specification, 18-61 [Zbl 0903.08009]
Meseguer, José; Montanari, Ugo, Mapping tile logic into rewriting logic, 62-91 [Zbl 0903.08010]
Borzyszkowski, Tomasz, Completeness of a logical system for structured specifications, 107-121 [Zbl 0901.03028]
Cîrstea, Corina, Coalgebra semantics for hidden algebra: Parameterised objects and inheritance, 174-189 [Zbl 0906.68094]
Corradini, Andrea, A completeness result for equational deduction in coalgebraic specification, 190-205 [Zbl 0903.08007]
Gadducci, F.; Heckel, R., An inductive view of graph transformation, 223-237 [Zbl 0901.18003]
Lasota, Sławomir, Open maps as a bridge between algebraic observational equivalence and bisimilarity, 285-299 [Zbl 0903.08008]
Martini, Alfio; Wolter, Uwe, A systematic study of mappings between institutions, 300-315 [Zbl 0901.03032]
Mossakowski, Till, Colimits of order-sorted specifications, 316-332 [Zbl 0902.18002]
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław, Combining and representing logical systems using model-theoretic parchments, 349-364 [Zbl 0907.03030]
Pawłowski, Wiesław, Context parchments, 381-401 [Zbl 0945.03096]
Walicki, Michał; Białasik, Marcin, Categories of relational structures, 418-433 [Zbl 0907.08002]

MSC:
00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
PDF BibTeX XML Cite