Institution Morphisms for Relating OWL and Z.

Dorel Lucanu, Yuan-Fang Li, Jin Song Dong

Browse the full SEKE paper archive.