External Links

Cite Key

Statistics

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

PDF

Tags

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.

Generalized Satisfiability for the Description Logic ::::ALC::::/mathcal{ALC} - (Extended Abstract)

Arne Meier, Thomas Schneider 0002. Generalized Satisfiability for the Description Logic ::::ALC::::/mathcal{ALC} - (Extended Abstract). In Mitsunori Ogihara, Jun Tarui, editors, Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Volume 6648 of Lecture Notes in Computer Science, pages 552-562, Springer, 2011. [doi]

Authors

Arne Meier

This author has not been identified. Look up 'Arne Meier' in Google

Thomas Schneider 0002

This author has not been identified. Look up 'Thomas Schneider 0002' in Google
runs on