Venema, Yde

Search Results1-4 of 4

  • Modal logic

    Patrick Blackburn, Maarten de Rijke, Yde Venema

    Cambridge University Press 2002, c2001 Cambridge tracts in theoretical computer science 53

    : paperback

    Available at 27 libraries

  • Modal logic

    Patrick Blackburn, Maarten de Rijke, Yde Venema

    Cambridge University Press 2001 Cambridge tracts in theoretical computer science 53

    Available at 33 libraries

  • Multi-dimensional modal logic

    by Maarten Marx and Yde Venema

    Kluwer Academic c1997 Applied logic series v. 4

    Available at 20 libraries

  • Modal logic and process algebra : a bisimulation perspective

    edited by Alban Ponse, Maarten de Rijke & Yde Venema

    Center for the Study of Language and Information c1995 CSLI lecture notes no. 53

    : pbk

    Available at 40 libraries

Page Top