ECOLOG: an Environment for COnstraint LOGics

Marianne Haberstrau. ECOLOG: an Environment for COnstraint LOGics. In Jean-Pierre Jouannaud, editor, Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994. Volume 845 of Lecture Notes in Computer Science, pages 237-252, Springer, 1994.

@inproceedings{Haberstrau94,
  title = {ECOLOG: an Environment for COnstraint LOGics},
  author = {Marianne Haberstrau},
  year = {1994},
  tags = {meta-model, constraints, logic, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Haberstrau94},
  cites = {0},
  citedby = {0},
  pages = {237-252},
  booktitle = {Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994},
  editor = {Jean-Pierre Jouannaud},
  volume = {845},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58403-X},
}