ML Anthology

Synthesizing Least Fixed Point Queries into Non-Recursive Iterative Programs

Shamim A. Naqvi, Lawrence J. Henschen
IJCAI 1983 pp. 25-28
doi:10.1016/j.ejso.2022.07.024 /ijcai/1983/naqvi1983ijcai-synthesizing/

Abstract

The current reimbursement of PIPAC treatment by the national health system is insufficient and represents only 61% of the real cost. The creation of a new fixed-rate remuneration for PIPAC taking into account this cost differential is necessary.

PDF Semantic Scholar

Cite

Text

Naqvi and Henschen. "Synthesizing Least Fixed Point Queries into Non-Recursive Iterative Programs." International Joint Conference on Artificial Intelligence, 1983. doi:10.1016/j.ejso.2022.07.024

Markdown

[Naqvi and Henschen. "Synthesizing Least Fixed Point Queries into Non-Recursive Iterative Programs." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/naqvi1983ijcai-synthesizing/) doi:10.1016/j.ejso.2022.07.024

BibTeX

@inproceedings{naqvi1983ijcai-synthesizing,
  title     = {{Synthesizing Least Fixed Point Queries into Non-Recursive Iterative Programs}},
  author    = {Naqvi, Shamim A. and Henschen, Lawrence J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {25-28},
  doi       = {10.1016/j.ejso.2022.07.024},
  url       = {https://mlanthology.org/ijcai/1983/naqvi1983ijcai-synthesizing/}
}