Implementation of a Non-Standard Interpretation System

Satnam Singh. Implementation of a Non-Standard Interpretation System. In Kei Davis, John Hughes, editors, Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, pages 206-224, Springer, 1989.

@inproceedings{Singh89,
  title = {Implementation of a Non-Standard Interpretation System},
  author = {Satnam Singh},
  year = {1989},
  researchr = {https://researchr.org/publication/Singh89},
  cites = {0},
  citedby = {0},
  pages = {206-224},
  booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK},
  editor = {Kei Davis and John Hughes},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19609-9},
}