| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... Notes in Computer Science , Band 1258) | 978-3-540-63172-9 (3-540-63172-0) | 2008 | Dirk van Dalen |
| Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... Notes in Computer Science , Band 664) | 978-3-540-56517-8 (3-540-56517-5) | 2008 | Jan F. Groote |