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.

Towards a Simply Typed CALculus for Semantic Knowledge Bases

Michael Mendler, Stephan Scheele. Towards a Simply Typed CALculus for Semantic Knowledge Bases. In Berndt Müller, editor, 3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010. Volume 7 of EPiC Series, pages 52-67, EasyChair, 2010. [doi]

Authors

Michael Mendler

This author has not been identified. Look up 'Michael Mendler' in Google

Stephan Scheele

This author has not been identified. Look up 'Stephan Scheele' in Google
runs on