Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau. Constraints for Validation of Conceptual Graphs. In Anca I. Vermesan, Frans Coenen, editors, Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV 99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway. pages 79-90, Kluwer, 1999.
@inproceedings{Dibie-BartelemyHL99, title = {Constraints for Validation of Conceptual Graphs}, author = {Juliette Dibie-Barthélemy and Ollivier Haemmerlé and Stéphane Loiseau}, year = {1999}, tags = {constraints, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Dibie-BartelemyHL99}, cites = {0}, citedby = {0}, pages = {79-90}, booktitle = {Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV 99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway}, editor = {Anca I. Vermesan and Frans Coenen}, publisher = {Kluwer}, isbn = {0-7923-8645-0}, }