G. V. · G. Vidal · Germán Vidal-Oriola
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings: 6009 | 978-3-642-12250-7 (3-642-12250-7) | 2010 | Matthias Blume · Naoki Kobayashi |
| Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers | 978-3-642-32210-5 (3-642-32210-7) | 2012 | |
| Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings: 5079 | 978-3-540-69163-1 (3-540-69163-4) | 2008 | María Alpuente |