Article Dans Une Revue
Journal of Applied Non-Classical Logics
Année : 2010
Jurgen Vinju : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00645293
Soumis le : dimanche 27 novembre 2011-19:58:18
Dernière modification le : lundi 15 janvier 2024-14:26:03
Citer
Hans Van Ditmarsch, Jan van Eijck, William Wu. Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics, 2010, pp.173--191. ⟨10.3166/jancl.20.173-191⟩. ⟨hal-00645293⟩
43
Consultations
0
Téléchargements