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.

Die Beweisentwicklungsumgebung Omega-MKRP

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann. Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl., 11(1):20-26, 1996.

Authors

Xiaorong Huang

This author has not been identified. Look up 'Xiaorong Huang' in Google

Manfred Kerber

This author has not been identified. Look up 'Manfred Kerber' in Google

Michael Kohlhase

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

Erica Melis

This author has not been identified. Look up 'Erica Melis' in Google

Dan Nesmith

This author has not been identified. Look up 'Dan Nesmith' in Google

Jörn Richts

This author has not been identified. Look up 'Jörn Richts' in Google

Jörg H. Siekmann

This author has not been identified. Look up 'Jörg H. Siekmann' in Google
runs on