Compositionality in SLD-Derivations and their Abstractions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Marco Comini, Giorgio Levi, Maria Chiara Meo. Compositionality in SLD-Derivations and their Abstractions. In ILPS. pages 561-575, 1995.

@inproceedings{CominiLM95:0,
  title = {Compositionality in SLD-Derivations and their Abstractions},
  author = {Marco Comini and Giorgio Levi and Maria Chiara Meo},
  year = {1995},
  tags = {composition, abstraction},
  researchr = {https://researchr.org/publication/CominiLM95%3A0},
  cites = {0},
  citedby = {0},
  pages = {561-575},
  booktitle = {ILPS},
}

runs on WebDSL