Category-Based Modularisation for Equational Logic Programming - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Razvan Diaconescu. Category-Based Modularisation for Equational Logic Programming. Acta Informatica, 33(5):477-510, 1996.

@article{Diaconescu96:0,
  title = {Category-Based Modularisation for Equational Logic Programming},
  author = {Razvan Diaconescu},
  year = {1996},
  tags = {rule-based, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Diaconescu96%3A0},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {33},
  number = {5},
  pages = {477-510},
}

runs on WebDSL