| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Computing Meaning: Volume 1 | Paperback | | 978-1-4020-0290-8 | 2001 | H. Bunt |
| Computing Meaning: Volume 2 | Hardcover | | 978-1-4020-0175-8 | 2001 | H. Bunt · E. Thijsse |
| Computing Meaning: Volume 2 | Paperback | | 978-1-4020-0451-3 | 2001 | H. Bunt · E. Thijsse |
| Computing Meaning: Volume 3 | Hardcover | | 978-1-4020-5956-8 | 2007 | Harry Bunt |
| Formal Grammar: 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings | Taschenbuch | | 978-3-662-44120-6 | 2014 | Glyn Morrill · Rainer Osswald · Frank Richter |
| Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, ... Notes in Computer Science, Band 9804) | " | | 978-3-662-53041-2 | 2016 | Annie Foret · Glyn Morrill · Rainer Osswald · Sylvain Pogodalla |
| Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers | " | | 978-3-662-56342-7 | 2018 | Annie Foret · Sylvain Pogodalla |
| Games, Logic, and Constructive Sets | Hardcover | | 978-1-57586-449-5 | 2003 | Grigori Mints |
| Games, Logic, and Constructive Sets | Paperback | | 978-1-57586-450-1 | 2003 | " |
| Interfaces: Explorations in Logic, Language and Computation: ESSLLI 2008 and ESSLLI 2009 Student Sessions, Selected Papers | Taschenbuch | | 978-3-642-14728-9 | 2010 | Thomas Icard |