Ayala-Rincón, Mauricio; de Moura, Flávio L. C. Applied logic for computer scientists. Computational deduction and formal proofs. (English) Zbl 1401.03001 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-51651-6/pbk; 978-3-319-51653-0/ebook). xviii, 150 p. (2017). MSC: 03-01 00A06 03B10 03B35 03F03 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} and \textit{F. L. C. de Moura}, Applied logic for computer scientists. Computational deduction and formal proofs. Cham: Springer (2017; Zbl 1401.03001) Full Text: DOI
Avelar, Andréia B.; de Moura, Flávio L. C.; Galdino, André Luiz; Ayala-Rincón, Mauricio Verification of the completeness of unification algorithms à la Robinson. (English) Zbl 1253.68290 Dawar, Anuj (ed.) et al., Logic, language, information and computation. 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6–9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13823-2/pbk). Lecture Notes in Computer Science 6188. Lecture Notes in Artificial Intelligence, 110-124 (2010). MSC: 68T15 PDFBibTeX XMLCite \textit{A. B. Avelar} et al., Lect. Notes Comput. Sci. 6188, 110--124 (2010; Zbl 1253.68290) Full Text: DOI