A first-order theory of communicating first-order formulas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationNinth international conference on knowledge representation and reasoning
Pages235-245
StatePublished - 2004

Cite this