On algebraic specifications of computable algebras with the discriminator technique - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

G. Gagliardi, Sauro Tulipani. On algebraic specifications of computable algebras with the discriminator technique. ITA, 24:429-440, 1990.

@article{GagliardiT90,
  title = {On algebraic specifications of computable algebras with the discriminator technique},
  author = {G. Gagliardi and Sauro Tulipani},
  year = {1990},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/GagliardiT90},
  cites = {0},
  citedby = {0},
  journal = {ITA},
  volume = {24},
  pages = {429-440},
}

runs on WebDSL