Your search returned 6 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
Handbook of modal logic /

by Blackburn, P | van Benthem, J | Wolter, F Eds.

Series: Studies in logic and practical reasoningEdition: 1st ed.Material type: Text Text;Language: ; Format: print Publication details: Amsterdam ; ; Elsevier, ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BLA.

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