×

zbMATH — the first resource for mathematics

Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. (English) Zbl 1327.68013
Lecture Notes in Computer Science 9463. Cham: Springer (ISBN 978-3-319-28113-1/pbk; 978-3-319-28114-8/ebook). xi, 171 p. (2015).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1271.68051].
Indexed articles:
Benzmüller, Christoph; Paleo, Bruno Woltzenlogel, On logic embeddings and Gödel’s god, 3-6 [Zbl 06545645]
Chiriţă, Claudia Elena; Şerbănuţă, Traian Florin, An institutional foundation for the \(\mathbb {K}\) semantic framework, 9-29 [Zbl 06545646]
Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore, A theoretical foundation for programming languages aggregation, 30-47 [Zbl 06545647]
Fortin, Marie; Bonsangue, Marcello M.; Rutten, Jan, Coalgebraic semantics of heavy-weighted automata, 48-68 [Zbl 06545648]
Găină, Daniel, Foundations of logic programming in hybridised logics, 69-89 [Zbl 06545649]
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom, What Is a derived signature morphism?, 90-109 [Zbl 06545650]
Oliveira, Marcos; Ribeiro, Leila; Cota, Érika; Duarte, Lucio Mauro; Nunes, Ingrid; Reis, Filipe, Use case analysis based on formal methods: an empirical study, 110-130 [Zbl 06545651]
Vissani, Ignacio; Pombo, Carlos Gustavo Lopez; Ţuţu, Ionuţ; Fiadeiro, José Luiz, A full operational semantics for asynchronous relational networks, 131-150 [Zbl 06545652]
Yu, Ning; Wirsing, Martin, A SOC-based formal specification and verification of hybrid systems, 151-169 [Zbl 06545653]

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