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

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