Deriving a Compilation Method for Parallel Logic Languages

Youji Kohda, Jiro Tanaka. Deriving a Compilation Method for Parallel Logic Languages. In Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki, editors, Logic Programming 87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987. Volume 315 of Lecture Notes in Computer Science, pages 80-94, Springer, 1987.

@inproceedings{KohdaT87,
  title = {Deriving a Compilation Method for Parallel Logic Languages},
  author = {Youji Kohda and Jiro Tanaka},
  year = {1987},
  tags = {logic},
  researchr = {https://researchr.org/publication/KohdaT87},
  cites = {0},
  citedby = {0},
  pages = {80-94},
  booktitle = {Logic Programming  87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987},
  editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki},
  volume = {315},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19426-6},
}