Reactive Kripke Semantics

Gabbay, Dov M.

doi:10.1007/978-3-642-41389-6

No full text

Book published as author, translator, etc. (Books)

Reactive Kripke Semantics

Gabbay, Dov M.

2013 • Springer

Permalink
https://hdl.handle.net/10993/26067

DOI
10.1007/978-3-642-41389-6

Files Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink Twitter Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Gabbay, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

External co-authors :

yes

Language :

English

Title :

Reactive Kripke Semantics

Publication date :

2013

Publisher :

Springer

ISBN/EAN :

978-3-642-41388-9

Collection name :

Cognitive Technologies

Additional URL :

http://dx.doi.org/10.1007/978-3-642-41389-6

Available on ORBilu :

since 22 March 2016

Statistics

Number of views

50 (0 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

OpenCitations