Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo
Not Logged in. Login

Reactive Kripke Semantics and Arc Accessibility

Gabbay, D. M. (2007) Reactive Kripke Semantics and Arc Accessibility. In: Volume in Honour of Boris Trahtenbrot. Springer. (In Press)

Full text not available from this repository.


Item Type:Book Section
Subjects:UNSPECIFIED
ID Code:1009
Deposited By:Professor Dov M. Gabbay
Deposited On:09 Nov 2007 15:22
Last Modified:09 Nov 2007 15:22

Repository Staff Only: item control page
Accessibility  |   Terms and Conditions  |   Last Modified 01 November 2007
© 2007 DCS, King's College London, Strand, London WC2R 2LS, England, United Kingdom. Tel +44 (0)20 7836 5454