Author: Dorel Lucanu
Publication Overview
Publication period start: 2005
Number of co-authors: 2
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Lucanu,
Dorel,
Li,
Yuan Fang,
Dong,
Jin Song
(2005):
Soundness proof of Z semantics of OWL using institutions.
In:
Proceedings of the 2005 International Conference on the World Wide Web
,
2005,
.
pp. 1048-1049.
https://doi.acm.org/10.1145/1062745.1062862