A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Khaled Bsaïes. A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. In PEPM. pages 108-115, 1992.

@inproceedings{Bsaies92,
  title = {A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties},
  author = {Khaled Bsaïes},
  year = {1992},
  tags = {logic programming, logic, transformation, program transformation},
  researchr = {https://researchr.org/publication/Bsaies92},
  cites = {0},
  citedby = {0},
  pages = {108-115},
  booktitle = {PEPM},
}

runs on WebDSL