2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Veröffentlicht 1989
von Egon Börger, Hans Kleine Büning, Michael M. Richter bei Springer Berlin
ISBN: 978-3-540-51659-0

International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991. Proceedings

Veröffentlicht 1991
von Harold Boley, Michael M. Richter bei Springer Berlin
ISBN: 978-3-540-55033-4

A Textbook

Veröffentlicht 2013
von Michael M. Richter, Rosina O. Weber bei Springer Berlin
ISBN: 978-3-642-40166-4

9th International Conference, ALT’98, Otzenhausen, Germany, October 8–10, 1998 Proceedings

Veröffentlicht 1998
von Michael M. Richter, Carl H. Smith, Rolf Wiehagen, Thomas Zeugmann bei Springer Berlin
ISBN: 978-3-540-65013-3

Veröffentlicht 2022
von Michael M. Richter, Sheuli Paul, Veton Këpuska, Marius Silaghi bei Springer International Publishing
ISBN: 978-3-319-45371-2

A Textbook

Veröffentlicht 2016
von Michael M. Richter, Rosina O. Weber bei Springer Berlin
ISBN: 978-3-662-52377-3