On the quantifier-free fragment of Logic of effective definitions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jan A. Bergstra, John-Jules Ch. Meyer. On the quantifier-free fragment of Logic of effective definitions . Fundamenta Informaticae, 4(4):935-956, 1981.

@article{BergstraM81,
  title = {On the quantifier-free fragment of  Logic of effective definitions },
  author = {Jan A. Bergstra and John-Jules Ch. Meyer},
  year = {1981},
  tags = {logic},
  researchr = {https://researchr.org/publication/BergstraM81},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {4},
  number = {4},
  pages = {935-956},
}

runs on WebDSL