-
Declarative Agent Languages and Technologies VIII – 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer Berlin Heidelberg
-
Fundamental Approaches to Software Engineering – 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Hofmann, Martin 2011 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Sassone, Vladimiro 2005 Springer Berlin Heidelberg
-
Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Barthe, Gilles 2010 Springer Berlin Heidelberg
-
Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
HCI in Work and Learning, Life and Leisure – 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings
Leitner, Gerhard ; Hitz, Martin ; Holzinger, Andreas 2010 Springer Berlin Heidelberg
-
Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Qin, Shengchao 2010 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
-
Applied semantics – advanced lectures
Barthe, Gilles 2002 Springer
-
Logical aspects of computational linguistics – first international conference ; selected papers
Retoré, Christian 1998 Springer
-
Semantics, applications, and implementation of program generation – second international workshop ; proceedings
Taha, Walid Mohamed 2001 Springer
-
Semantics, applications, and implementation of program generation – international workshop ; proceedings
Taha, Walid Mohamed 2001 Springer
-
Stationary generated models of generalized logic programs
Herre, Heinrich ; Hummel, Axel 2010 Universität Potsdam
-
A paraconsistent semantics for generalized logic programs
Herre, Heinrich ; Hummel, Axel 2010 Universität Potsdam
-
Four Issues Concerning the Semantics of Message Flow Graphs
Ladkin, Peter B. ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
-
Automata-based semantics for the probabilistic programming language ReDiP
Geißler, Dominik ; Winkler, Tobias ; Katoen, Joost-Pieter ; Noll, Thomas 2025 Universitätsbibliothek der RWTH Aachen
-
Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
Lehmann, Johannes ; Winkler, Tobias ; Katoen, Joost-Pieter ; Noll, Thomas 2024 Universitätsbibliothek der RWTH Aachen
-
From Logic Programming to Human Reasoning: – How to be Artificially Human
Dietz Saldanha, Emmanuelle-Anna ; Hölldobler, Steffen ; Kakas, Antonis ; Pereira, Luís Moniz 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
-
Extensibility of Enterprise Modelling Languages
Braun, Richard ; Esswein, Werner ; Strahringer, Susanne 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden