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.
![Automating the synthesis of decision procedures in a constructive metatheory [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper doi bibtex
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
{"_id":"MxWyw24FYAzrsKhLt","bibbaseid":"armando-gallagher-smaill-bundy-automatingthesynthesisofdecisionproceduresinaconstructivemetatheory-1998","downloads":0,"creationDate":"2016-08-26T09:24:47.220Z","title":"Automating the synthesis of decision procedures in a constructive metatheory","author_short":["Armando, A.","Gallagher, J.","Smaill, A.","Bundy, A."],"year":1998,"bibtype":"article","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gallagher"],"firstnames":["Jason"],"suffixes":[]},{"propositions":[],"lastnames":["Smaill"],"firstnames":["Alan"],"suffixes":[]},{"propositions":[],"lastnames":["Bundy"],"firstnames":["Alan"],"suffixes":[]}],"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","bibtex":"@article{590236,\n author = {Armando, Alessandro and Gallagher, Jason and Smaill, Alan and Bundy, Alan},\n title = {Automating the synthesis of decision procedures in a constructive metatheory},\n journal = {Annals of Mathematics and Artificial Intelligence},\n volume = {22},\n number = {3-4},\n year = {1998},\n issn = {1012-2443},\n pages = {259--279},\n doi = {10.1023/A:1018943603394},\n url = {http://www.ai-lab.it/armando/pub/AMAI3.pdf},\n publisher = {Kluwer Academic Publishers},\n address = {Hingham, MA, USA}\n}\n\n","author_short":["Armando, A.","Gallagher, J.","Smaill, A.","Bundy, A."],"key":"590236","id":"590236","bibbaseid":"armando-gallagher-smaill-bundy-automatingthesynthesisofdecisionproceduresinaconstructivemetatheory-1998","role":"author","urls":{"Paper":"http://www.ai-lab.it/armando/pub/AMAI3.pdf"},"downloads":0},"search_terms":["automating","synthesis","decision","procedures","constructive","metatheory","armando","gallagher","smaill","bundy"],"keywords":["dblp"],"authorIDs":[],"dataSources":["sjwHXeqZidkB6GRgD"]}