Accéder directement au contenu

Andreas Herzig

1
Documents

Publications

889222
"emiliano-lorini"
Image document

Dynamic context logic

 Guillaume Aucher , Davide Grossi , Andreas Herzig , Emiliano Lorini
Second International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩
Communication dans un congrès inria-00556156v1