Edinburgh Research Explorer

Automating the Synthesis of Decision Procedures in a Constructive Metatheory

Research output: Contribution to journalArticle

Standard

Automating the Synthesis of Decision Procedures in a Constructive Metatheory. / Armando, A.; Gallagher, J.; Smaill, A.; Bundy, Alan.

In: Annals of Mathematics and Artificial Intelligence, Vol. 22, No. 3-4, 1998.

Research output: Contribution to journalArticle

Harvard

Armando, A, Gallagher, J, Smaill, A & Bundy, A 1998, 'Automating the Synthesis of Decision Procedures in a Constructive Metatheory', Annals of Mathematics and Artificial Intelligence, vol. 22, no. 3-4.

APA

Armando, A., Gallagher, J., Smaill, A., & Bundy, A. (1998). Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Annals of Mathematics and Artificial Intelligence, 22(3-4).

Vancouver

Armando A, Gallagher J, Smaill A, Bundy A. Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Annals of Mathematics and Artificial Intelligence. 1998;22(3-4).

Author

Armando, A. ; Gallagher, J. ; Smaill, A. ; Bundy, Alan. / Automating the Synthesis of Decision Procedures in a Constructive Metatheory. In: Annals of Mathematics and Artificial Intelligence. 1998 ; Vol. 22, No. 3-4.