Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Modal Logic and Process Algebra Bisimulation Perspective

by Ponse, Alban. et al Eds.

Series: CSLI Lecture Notes, No. 53Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 PON.

BOOKS
Modal Logic, Advances in-; Vol. 1

by Kracht,M.,Ed.,De Rijke,M. Ed | Wansing, H., Ed | Zakharyaschev, M., Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI Pub., ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRA.

BOOKS
Modal Logic : (CTCS 53)

by Blackburn, Patrick | de Rijke, Maarten | Venema, Yde.

Series: Cambridge Tracts in Theoretical Computer Science, 53Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BLA.

BOOKS
Advances in modal logic: volume 3

by Wolter, Frank [et al] Eds.

Material type: Text Text;Language: ; Format: print Publication details: Stanford, Calif. ; CSLI Publications ; c1998-<c2002 >Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WOL.

BOOKS
Advanced topics in bisimulation and coinduction / Jan Rutten.

by Sangiorgi, Davide | Sangiorgi, Davide | Rutten, J. J. M. M.

Series: Cambridge tracts in theoretical computer science ; 52Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge ; New York : Cambridge University Press, 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAN.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha