Calendar
    2018
    2017

Events
    WoLLIC'17
    WoLLIC'16
    LFCS'16

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Papers
    Edited Volumes
    Other

Teaching
    Logic for CS
    Theor. Inf.
    Set Th.
    Crypto

Students

Personal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco


Books

de Queiroz, R. de Oliveira, A., & Gabbay, D.: 2011, The Functional Interpretation of Logical Deduction. Vol. 5 of Advances in Logic series. Imperial College Press / World Scientific. Oct 2011, ISBN 978-981-4360-95-1.

de Queiroz, R. (ed.): 2003, Logic for Concurrency and Synchronisation, volume 18 of the series Trends in Logic, Kluwer Academic Publishers, July 2003, ISBN 1-4020-1270-5.

Thesis

de Queiroz, R.: 1990, Proof Theory and Computer Programming. The Logical Foundations of Computation, PhD Dissertation, Department of Computing, Imperial College, London. Submitted November 8, 1989. Examined February 1990.

Translations

Sipser, M. Introdução à Teoria da Computação, Cengage Learning, (ISBN: 8522104999, ISBN13: 9788522104994), 2007. (Brazilian translation of Introduction to the Theory of Computation, Thomson Course Technology, ISBN 10: 0-534-95097-3, February 15, 2005.)

Manzano, M. Model Theory, Volume 37 of Oxford Logic Guides, Oxford University Press, April 1999. ISBN 0-19-853851-0. Translated from the original (in Spanish) Teoría de Modelos, Alianza Editorial, Madrid, 1989. (corrigenda)

Lovász, L., Pelikán, J. & Vesztergombi, K. Matemática Discreta, Volume 05 of Coleção Textos Universitários, Sociedade Brasileira de Matemática, 285 pp, 1st Edition, 0,500 Kg, ISBN 85-85818-28-X, 2006. (Brazilian translation of Discrete Mathematics: Elementary and Beyond, Springer, January 2003, ISBN 0387955852.)

Hodges, W. Uma Teoria dos Modelos Mais Curta, Portuguese translation of A Shorter Model Theory, Cambridge University Press, 1997. (In preparation)

van Dalen, D. Lógica e Estrutura, Portuguese translation of Logic and Structure, Springer, 3rd augmented edition, 1994 (Corrected 2nd printing 1997). (In preparation)

Poizat, B. As pedrinhas. Uma abordagem modelo-teórica da Algorímia. Portuguese translation of Les petits cailloux. Une approche modèle-théorique de l'Algorithmie, Nur al-Mantiq wal-Ma'rifah; Aléas Editeur, 15 quai Lassagne, 69001 Lyon, France, 1995. (In preparation)

Goldreich, O. Fundamentos da Criptografia. Ferramentas Básicas. Portuguese translation of Foundations of Cryptography - Basic Tools, Cambridge University Press, June 2001. (In preparation)

Poizat, B. Curso de Teoria dos Modelos. Portuguese translation of Cours de Théorie des Modèles, Nur al-Mantiq wal-Ma'rifah; Lyon, France, 1985. (In preparation)

Last modified: January 26, 2017, 11:05am GMT-3.