Writing Programs as QJ Proof and Compiling into Prolog Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yukihide Takayama. Writing Programs as QJ Proof and Compiling into Prolog Programs. In SLP. pages 278-287, 1987.

@inproceedings{Takayama87,
  title = {Writing Programs as QJ Proof and Compiling into Prolog Programs},
  author = {Yukihide Takayama},
  year = {1987},
  tags = {Prolog, writing, compiler},
  researchr = {https://researchr.org/publication/Takayama87},
  cites = {0},
  citedby = {0},
  pages = {278-287},
  booktitle = {SLP},
}

runs on WebDSL