Piero A. Bonatti. Model Theoretic Semantics for Demo. In Alberto Pettorossi, editor, Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Volume 649 of Lecture Notes in Computer Science, pages 220-234, Springer, 1992.
@inproceedings{Bonatti92, title = {Model Theoretic Semantics for Demo}, author = {Piero A. Bonatti}, year = {1992}, tags = {semantics, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Bonatti92}, cites = {0}, citedby = {0}, pages = {220-234}, booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings}, editor = {Alberto Pettorossi}, volume = {649}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56282-6}, }