A Semi-Decision Procedure for the Functional Calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Joyce Friedman. A Semi-Decision Procedure for the Functional Calculus. Journal of the ACM, 10(1):1-24, 1963. [doi]

@article{Friedman63,
  title = {A Semi-Decision Procedure for the Functional Calculus},
  author = {Joyce Friedman},
  year = {1963},
  doi = {10.1145/321150.321151},
  url = {http://doi.acm.org/10.1145/321150.321151},
  researchr = {https://researchr.org/publication/Friedman63},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {10},
  number = {1},
  pages = {1-24},
}

runs on WebDSL