Lewis Owens · Louis Owens · Ong, Luke
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr |
|---|---|---|
| Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings | 978-3-540-28231-0 (3-540-28231-9) | 2008 |
| Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European ... Computer Science and General Issues) | 978-3-642-12031-2 (3-642-12031-8) | 2010 |
| Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings | 978-3-642-21690-9 (3-642-21690-0) | 2011 |