Automating the synthesis of decision procedures in a constructive metatheory

Automating the synthesis of decision procedures in a constructive metatheory. Armando, A., Gallagher, J., Smaill, A., & Bundy, A. Annals of Mathematics and Artificial Intelligence, 22(3-4):259--279, Kluwer Academic Publishers, Hingham, MA, USA, 1998.

Paper doi bibtex

@article{590236,
  author = {Armando, Alessandro and Gallagher, Jason and Smaill, Alan and Bundy, Alan},
  title = {Automating the synthesis of decision procedures in a constructive  metatheory},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {22},
  number = {3-4},
  year = {1998},
  issn = {1012-2443},
  pages = {259--279},
  doi = {10.1023/A:1018943603394},
  url = {http://www.ai-lab.it/armando/pub/AMAI3.pdf},
  publisher = {Kluwer Academic Publishers},
  address = {Hingham, MA, USA}
}

Downloads: 0