Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Kung-Kiu Lau, Steven David Prestwich. Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. In ICLP. pages 667-684, 1990.

@inproceedings{LauP90,
  title = {Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications},
  author = {Kung-Kiu Lau and Steven David Prestwich},
  year = {1990},
  tags = {logic},
  researchr = {https://researchr.org/publication/LauP90},
  cites = {0},
  citedby = {0},
  pages = {667-684},
  booktitle = {ICLP},
}

runs on WebDSL