Center for the Study of Language and Inf · Springer
title | media type | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|---|
Arrow Logic and Multi-Modal Logic | Paperback | 978-1-57586-024-4 | 1996 | Laszlo Polos · Michael Masuch | |
Arrow Logic and Multi-Modal Logic | Hardcover | 978-1-57586-025-1 | 1996 | Laszlo Polos · Michael Masuch | |
Finite Model Theory and Its Applications | Gebunden | 978-3-540-00428-8 | 2007 | Erich Grädel · Phokion G. Kolaitis · Leonid Libkin · Joel Spencer · Moshe Y. Vardi · Yde Venema · Scott Weinstein | |
Multi-Dimensional Modal Logic | Hardcover | 978-0-7923-4345-5 | 1996 | Yde Venema |