Reasoning about Communication Graphs

Authors
Publication date 2007
Host editors
  • J van Benthem
  • B Löwe
  • D Gabbay
Book title Interactive Logic
Series Texts in Logic and Games, 1
Pages (from-to) 135-157
Publisher Amsterdam: AUP
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back