Reactive Kripke Semantics

GABBAY, Dov M.

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

Pas de texte intégral

Ouvrage publié en tant qu’auteur, traducteur, etc. (Ouvrages)

Reactive Kripke Semantics

GABBAY, Dov M.

2013 • Springer

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

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

Documents (0)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

Aucun document disponible.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Reactive Kripke Semantics

Date de publication/diffusion :

2013

Maison d'édition :

Springer

ISBN/EAN :

978-3-642-41388-9

Collection et n° de collection :

Cognitive Technologies

URL complémentaire :

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

Disponible sur ORBilu :

depuis le 22 mars 2016

Statistiques

Nombre de vues

84 (dont 0 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques

OpenCitations

citations OpenAlex