Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Michael Codish, Bart Demoen. Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. In SAS. pages 281-296, 1994.

@inproceedings{CodishD94:0,
  title = {Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop},
  author = {Michael Codish and Bart Demoen},
  year = {1994},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/CodishD94%3A0},
  cites = {0},
  citedby = {0},
  pages = {281-296},
  booktitle = {SAS},
}

runs on WebDSL