| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings | | 978-3-540-78968-0 | 2008 | Jacques Garrigue |
| Logic Programming: Proceedings of the North American Conference 1990 | | 978-0-262-54058-2 | 1990 | Saumya Debray |
| Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings | | 978-3-540-24362-5 | 2008 | Daniel Cabeza |
| Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings | | 978-3-540-58402-5 | 2008 | Jaan Penjam |
| Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94 Madrid, Spain, September 14-16, 1994 Proceedings | | 978-0-387-58402-7 | 1994 | Spain) Plilp 9 (1994 Madrid |
| Programming Languages Implementations, Logics and Programs: 7th International Symposium, Plilp '95 Utrech, the Netherlands, September 20-22, 1995 Proceedings | | 978-0-387-60359-9 | 1995 |
| Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Notes in Computer Science , Band 982) | | 978-3-540-60359-7 | 2008 | S.Doaitse Swierstra |
| Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings | | 978-3-540-44235-6 | 2008 | German Puebla |
| Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings | | 978-3-642-11318-5 | 2010 | Gilles Barthe |