Computational Speed-Up by Effective Operators

Albert R. Meyer, Patrick C. Fischer. Computational Speed-Up by Effective Operators. Journal of Symbolic Logic, 37(1):55-68, 1972.

@article{MeyerF72,
  title = {Computational Speed-Up by Effective Operators},
  author = {Albert R. Meyer and Patrick C. Fischer},
  year = {1972},
  tags = {C++},
  researchr = {https://researchr.org/publication/MeyerF72},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {37},
  number = {1},
  pages = {55-68},
}