![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
22. WADT 2014: Sinaia, Romania
- Mihai Codescu, Razvan Diaconescu, Ionut Tutu:
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers. Lecture Notes in Computer Science 9463, Springer 2015, ISBN 978-3-319-28113-1
Invited Talk
- Christoph Benzmüller
, Bruno Woltzenlogel Paleo:
On Logic Embeddings and Gödel's God. 3-6
Contributed Papers
- Claudia Elena Chirita, Traian-Florin Serbanuta:
An Institutional Foundation for the K Semantic Framework. 9-29 - Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A Theoretical Foundation for Programming Languages Aggregation. 30-47 - Marie Fortin, Marcello M. Bonsangue
, Jan Rutten:
Coalgebraic Semantics of Heavy-Weighted Automata. 48-68 - Daniel Gâinâ
:
Foundations of Logic Programming in Hybridised Logics. 69-89 - Till Mossakowski
, Ulf Krumnack, Tom Maibaum:
What Is a Derived Signature Morphism? 90-109 - Marcos Oliveira Jr., Leila Ribeiro, Érika F. Cota, Lucio Mauro Duarte, Ingrid Nunes
, Filipe Reis:
Use Case Analysis Based on Formal Methods: An Empirical Study. 110-130 - Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro:
A Full Operational Semantics for Asynchronous Relational Networks. 131-150 - Ning Yu, Martin Wirsing:
A SOC-Based Formal Specification and Verification of Hybrid Systems. 151-169
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.