Propositional Logic Programming and Type Thoeries - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Enn Tyugu. Propositional Logic Programming and Type Thoeries. In SCAI. pages 863-871, 1989.

@inproceedings{Tyugu89,
  title = {Propositional Logic Programming and Type Thoeries},
  author = {Enn Tyugu},
  year = {1989},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Tyugu89},
  cites = {0},
  citedby = {0},
  pages = {863-871},
  booktitle = {SCAI},
}

runs on WebDSL