Author of the publication

Conceptual Graph Programs and Their Declarative Semantics.

, and . IEICE Trans. Inf. Syst., 78-D (9): 1208-1217 (1995)

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

A Direct Proof Procedure for Definite Conceptual Graph Programs., and . ICCS, volume 954 of Lecture Notes in Computer Science, page 158-172. Springer, (1995)Conceptual Graphs as a Framework for Deductive Object-Oriented Databases., and . CAiSE, volume 593 of Lecture Notes in Computer Science, page 147-163. Springer, (1992)Conceptual Graph Programs and Their Declarative Semantics., and . IEICE Trans. Inf. Syst., 78-D (9): 1208-1217 (1995)Computational Situation Theory in the Conceptual Graph Language., and . ICCS, volume 1115 of Lecture Notes in Computer Science, page 188-201. Springer, (1996)Inference Systems for Conceptual Graph Programs., and . ICCS, volume 835 of Lecture Notes in Computer Science, page 214-229. Springer, (1994)Towards Deductive Object-Oriented Databases Based on Conceptual Graphs., and . Workshop on Conceptual Graphs, volume 754 of Lecture Notes in Computer Science, page 188-205. Springer, (1992)