-
Web Reasoning and Rule Systems – 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Cate, Balder ten ; Mileo, Alessandra 2015 Springer International Publishing
-
New Frontiers in Artificial Intelligence – JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
Nakano, Yukiko ; Satoh, Ken ; Bekki, Daisuke 2014 Springer International Publishing
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
-
Web Reasoning and Rule Systems – 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Kontchakov, Roman 2014 Springer Berlin Heidelberg
-
Logic, Language, Information, and Computation – 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy J. G. B. de 2014 Springer Berlin Heidelberg
-
Programming Languages and Systems – 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Shao, Zhong 2014 Springer Berlin Heidelberg
-
Logic Programming and Nonmonotonic Reasoning – 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
The Beauty of Functional Code – Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Achten, Peter ; Plasmeijer, Marinus Jacobus ; Koopman, Pieter 2013 Springer Berlin Heidelberg
-
Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer Berlin Heidelberg
-
Web Reasoning and Rule Systems – 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Programming Multi-Agent Systems – 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Dennis, Louise ; Boissier, Olivier ; Bordini, Rafael H. 2013 Springer Berlin Heidelberg
-
Unifying Theories of Programming – 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Wolff, Burkhart ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane 2013 Springer Berlin Heidelberg
-
Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Beklemišev, Lev ; de Queiroz, Ruy 2012 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Vidal, Germán 2012 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Birkedal, Lars 2012 Springer Berlin Heidelberg
-
Empirical Software Engineering and Verification – International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Meyer, Bertrand ; Nordio, Martin 2012 Springer Berlin Heidelberg
-
Implementation and Application of Functional Languages – 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer Berlin Heidelberg
-
Interactive Theorem Proving – Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
Eekelen, Marko van ; Geuvers, Herman ; Schmaltz, Julien ; Wiedijk, Freek 2011 Springer Berlin Heidelberg
-
Language and Automata Theory and Applications – 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings
Dediu, Adrian-Horia ; Martín Vide, Carlos ; Inenaga, Shunsuke 2011 Springer Berlin Heidelberg
-
Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Mariño, Julio 2011 Springer Berlin Heidelberg