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.

Checking Conservativity with Hets

Mihai Codescu, Till Mossakowski, Christian Maeder. Checking Conservativity with Hets. In Reiko Heckel, Stefan Milius, editors, Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Volume 8089 of Lecture Notes in Computer Science, pages 315-321, Springer, 2013. [doi]

Authors

Mihai Codescu

This author has not been identified. Look up 'Mihai Codescu' in Google

Till Mossakowski

This author has not been identified. It may be one of the following persons: Look up 'Till Mossakowski' in Google

Christian Maeder

This author has not been identified. Look up 'Christian Maeder' in Google
runs on