Author of the publication

Towards a correct translation from ASN.1 into CafeOBJ.

, , , and . Int. J. Reason. based Intell. Syst., 2 (3/4): 300-309 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Query Rewriting Under Ontology Evolution., , , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 975-987. CEUR-WS.org, (2013)Polymorphic Lambda Calculus: The Church-Rosser Property.. Theor. Comput. Sci., 79 (2): 365-371 (1991)Towards a correct translation from ASN.1 into CafeOBJ., , , and . Int. J. Reason. based Intell. Syst., 2 (3/4): 300-309 (2010)Efficient Query Answering over Expressive Inconsistent Description Logics., , , and . IJCAI, page 1279-1285. IJCAI/AAAI Press, (2016)Church-Rosser Theorem for Typed Functional Systems. The Journal of Symbolic Logic, 50 (3): 782-790 (1985)Query Rewriting under Ontology Contraction., , , and . RR, volume 7497 of Lecture Notes in Computer Science, page 172-187. Springer, (2012)Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking, , and . CoRR, (2011)