| LAMPA < LANGAGE ET GÉNIE LOGICIEL < LASSY | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000192 (2011-08-01) | Frédéric Besson [France] ; Pascal Fontaine [France] ; Laurent Théry [France] | A Flexible Proof Format for SMT: a Proposal |
| 001860 (2009-06) | Helene Kirchner [France] ; Kirchner Florent [France] ; Claude Kirchner [France] | Constraint Based Strategies |
| 002551 (2015-10-26) | Guillaume Aucher [France] ; Bastien Maubert [France] ; Sophie Pinchinat [France] ; François Schwarzentruber [France] | Games with Communication: from Belief to Preference Change |
| 002857 (2015-09-01) | Sergueï Lenglet [France] ; Alan Schmitt [France] | Howe's Method for Contextual Semantics |
| 002858 (2015-06) | Sergueï Lenglet [France] ; Alan Schmitt [France] | Howe's Method for Contextual Semantics |
| 004C31 (2015) | Laura Bozzelli [Espagne] ; Hans Van Ditmarsch [France] ; Sophie Pinchinat [France] | The complexity of one-agent refinement modal logic |
| 005065 (2015) | Laura Bozzelli [Espagne] ; Bastien Maubert [France] ; Sophie Pinchinat [France] | Unifying Hyper and Epistemic Temporal Logics |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i -k "LANGAGE ET GÉNIE LOGICIEL"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i \
-Sk "LANGAGE ET GÉNIE LOGICIEL" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Curation
|type= indexItem
|index= HalTutelle.i
|clé= LANGAGE ET GÉNIE LOGICIEL
}}
| This area was generated with Dilib version V0.6.33. |  |