.:. Browse > By authors > Aucher .:.

2 documents ordered by : Date Title first author name document type Submit date

On the Complexity of Dynamic Epistemic Logic (Extended Version) Aucher G., Schwarzentruber F. N° RR-8164 (2012) [hal-00759544 - version 1]

Generalized DEL-sequents Aucher G., Maubert B., Schwarzentruber F. N° RR-8012 (2012) [hal-00716074 - version 1]