Compiling Residuation for a Multiparadigm Symbolic Programming Language

Grigorios Grivas, Alexios Palinginis. Compiling Residuation for a Multiparadigm Symbolic Programming Language. In Jacques Calmet, Carla Limongelli, editors, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20, 1996, Proceedings. Volume 1128 of Lecture Notes in Computer Science, pages 331-342, Springer, 1996.

@inproceedings{GrivasP96,
  title = {Compiling Residuation for a Multiparadigm Symbolic Programming Language},
  author = {Grigorios Grivas and Alexios Palinginis},
  year = {1996},
  tags = {programming languages, compiler, programming},
  researchr = {https://researchr.org/publication/GrivasP96},
  cites = {0},
  citedby = {0},
  pages = {331-342},
  booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO  96, Karlsruhe, Germany, September 18-20, 1996, Proceedings},
  editor = {Jacques Calmet and Carla Limongelli},
  volume = {1128},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61697-7},
}