Home Advanced Search

Advanced Search - Page 1

Many-Dimensional Modal Logic [PhD Thesis]
  • DJVU
  • English
  • Year: 1992
  • Author: Yde Venema
Multi-Dimensional Modal Logic
  • PDF
  • English
  • Year: 1997
  • Author: Maarten Marx, Yde Venema (auth.)
Modal Logic and Process Algebra
  • PDF
  • English
  • Year: 1995
  • Author: Alban Ponse, Maarten de Rijke, Yde Venema
Modal Logic
  • PDF
  • English
  • Author: Patrick Blackburn, Maarten de Rijke, Yde Venema
Modal logic and process algebra: A bisimulation perspective
  • DJVU
  • English
  • Year: 1995
  • Author: Alban Ponse, Maarten de Rijke, Yde Venema
Finite model theory and its applications
  • PDF
  • English
  • Year: 2007
  • Author: Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Finite Model Theory and Its Applications
  • PDF
  • English
  • Year: 2007
  • Author: Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Finite Model Theory and Its Applications
  • PDF
  • English
  • Year: 2007
  • Author: Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Foundations of Geometry
  • PDF
  • english
  • Year: 2011
  • Author: Gerard A. Venema