C B::CTL::: A Reasoning System of Temporal Epistemic Logic with Communication Channel - researchr publication

researchr

You are not signed in
Sign in
Sign up

Suguru Yoshioka, Satoshi Tojo. C B::CTL::: A Reasoning System of Temporal Epistemic Logic with Communication Channel. In Cemal Ardil, editor, The Third World Enformatika Conference, WEC 05, April 27-29, 2005, Istanbul, Turkey, CDROM. pages 80-83, Enformatika, Çanakkale, Turkey, 2005.

Abstract is missing.

runs on WebDSL