A. P. · Andrew M. Pitts · Andrew P. · Andrew W. Pitts
Cambridge University Press · Springer
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I | 978-3-642-31595-4 | 2012 | Artur Czumaj · Kurt Mehlhorn | |
| Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II | 978-3-642-31584-8 | 2012 | Artur Czumaj · Kurt Mehlhorn · Roger Wattenhofer | |
| Foundations of Software Science and Computation Structures | 978-3-662-46677-3 | 2015 | ||
| Nominal Sets: Names and Symmetry in Computer Science | 978-1-107-01778-8 | 2013 | ||
| Semantics and Logics of Computation | 978-0-521-11846-0 | 2009 | ||