8665 articles  [version française]
.:. Browse > By authors > Aucher .:.
4 documents ordered by :

fulltext access Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory
Aucher G.
N° RR-8374 (2013) [hal-00866155 - version 2]
fulltext access Update Logic
Aucher G.
N° RR-8341 (2013) [hal-00849856 - version 1]
fulltext access On the Complexity of Dynamic Epistemic Logic (Extended Version)
Aucher G., Schwarzentruber F.
N° RR-8164 (2012) [hal-00759544 - version 1]
fulltext access Generalized DEL-sequents
Aucher G., Maubert B., Schwarzentruber F.
N° RR-8012 (2012) [hal-00716074 - version 1]