Analysis and Transformation of Logic Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Kjell Post. Analysis and Transformation of Logic Programs. PhD thesis, University of California at Santa Cruz, 1994.

@phdthesis{Post94:0,
  title = {Analysis and Transformation of Logic Programs},
  author = {Kjell Post},
  year = {1994},
  tags = {program analysis, analysis, logic programming, logic, transformation, program transformation},
  researchr = {https://researchr.org/publication/Post94%3A0},
  cites = {0},
  citedby = {0},
  school = {University of California at Santa Cruz},
}

runs on WebDSL