External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking for Modal Intuitionistic Dependence Logic

Johannes Ebbing, Peter Lohmann, Fan Yang. Model Checking for Modal Intuitionistic Dependence Logic. In Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter, editors, Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers. Volume 7758 of Lecture Notes in Computer Science, pages 231-256, Springer, 2011. [doi]

Authors

Johannes Ebbing

This author has not been identified. Look up 'Johannes Ebbing' in Google

Peter Lohmann

This author has not been identified. Look up 'Peter Lohmann' in Google

Fan Yang

This author has not been identified. Look up 'Fan Yang' in Google
runs on