Yde Venema

No bio available. Add one in Open Library.

Books by Yde Venema (50 max)

+ shelf+ list

Modal Logic

2002

Patrick Blackburn, Maarten de Rijke, Yde Venema

+ shelf+ list

Modal Logic (Cambridge Tracts in Theoretical Computer Science)

2001

Patrick Blackburn, Maarten de Rijke, Yde Venema

+ shelf+ list

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

2007

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

+ shelf+ list

Finite Model Theory and Its Applications

2014

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein