Goranko, Valentin

Search Results1-2 of 2

  • Temporal logics in computer science : finite-state systems

    Stéphane Demri, Valentin Goranko, Martin Lange

    Cambridge University Press 2016 Cambridge tracts in theoretical computer science 58

    : hardback

    Available at 3 libraries

  • Advances in modal logic

    edited by Philippe Balbiani ... [et al.]

    King's College Publications c2003-

    v. 4 : pbk , v. 4 : hbk , v. 5 : pbk , v. 6 : pbk , v. 7 : pbk , v. 8 : pbk , v. 9 : pbk , v. 10 : pbk , v. 11 : pbk , v. 12 : pbk

    Available at 6 libraries

Search this author

Page Top