MLOG: A Strongly Typed Confluent Functional Language with Logical Variables - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Vincent Poirriez. MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. Theoretical Computer Science, 122(1&2):201-223, 1994.

@article{Poirriez94,
  title = {MLOG: A Strongly Typed Confluent Functional Language with Logical Variables},
  author = {Vincent Poirriez},
  year = {1994},
  researchr = {https://researchr.org/publication/Poirriez94},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {122},
  number = {1&amp;2},
  pages = {201-223},
}

runs on WebDSL