Completeness of Category-Based Equational Deduction - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Razvan Diaconescu. Completeness of Category-Based Equational Deduction. Mathematical Structures in Computer Science, 5(1):9-40, 1995.

@article{Diaconescu95:0,
  title = {Completeness of Category-Based Equational Deduction},
  author = {Razvan Diaconescu},
  year = {1995},
  tags = {rule-based, completeness},
  researchr = {https://researchr.org/publication/Diaconescu95%3A0},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {5},
  number = {1},
  pages = {9-40},
}

runs on WebDSL