|
|
|
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Author(s): Patrick Blackburn, Maarten de Rijke, Yde Venema, Erich GrAtildecurrendel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Edition: 2007
Published: 2007
Publisher: Springer
Format: Hardcover
ISBN 13: 9783540004288
ISBN 10: 3540004289
|
|
|
|
Multi-Dimensional Modal Logic (Applied Logic Series)
Author(s): Patrick Blackburn, Maarten de Rijke, Yde Venema, Erich GrAtildecurrendel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein, Maarten Marx, Yde Venema
Edition: 1997
Published: 2012
Publisher: Springer
Format: Paperback
ISBN 13: 9789401064019
ISBN 10: 9401064016
|
|
|
|
|
Multi-Dimensional Modal Logic (Applied Logic Series, 4)
Author(s): Patrick Blackburn, Maarten de Rijke, Yde Venema, Erich GrAtildecurrendel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein, Maarten Marx, Yde Venema, Maarten Marx, Yde Venema
Edition: 1997
Published: 1996
Publisher: Springer
Format: Hardcover
ISBN 13: 9780792343455
ISBN 10: 079234345X
|
|
|
|
|
|
