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.

Reasoning about Semantic Web in Isabelle/HOL

Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony. Reasoning about Semantic Web in Isabelle/HOL. In 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea. pages 46-53, IEEE Computer Society, 2004. [doi]

Authors

Yue Tang

This author has not been identified. Look up 'Yue Tang' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google

Jing Sun

This author has not been identified. Look up 'Jing Sun' in Google

Brendan P. Mahony

This author has not been identified. Look up 'Brendan P. Mahony' in Google
runs on