Skip to main content Skip to main navigation

Publication

Checking conservativity with Hets

Mihai Codescu; Till Mossakowski; Christian Maeder
In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), September 3-6, Warsaw, Poland, 2013.