|
|
|
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, 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
Edition: 1997
Published: 1996
Publisher: Springer
Format: Hardcover
ISBN 13: 9780792343455
ISBN 10: 079234345X
|
|
|
|
|
|
|
|
