Initial Logic and Induction in Algebraic Specification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Dorel Lucanu. Initial Logic and Induction in Algebraic Specification. Sci. Ann. Cuza Univ., 12:79-108, 2002.

@article{Lucanu02,
  title = {Initial Logic and Induction in Algebraic Specification},
  author = {Dorel Lucanu},
  year = {2002},
  tags = {algebraic specification,  algebra, logic},
  researchr = {https://researchr.org/publication/Lucanu02},
  cites = {0},
  citedby = {0},
  journal = {Sci. Ann. Cuza Univ.},
  volume = {12},
  pages = {79-108},
}

runs on WebDSL