2018
    2017

Events
    WoLLIC'17
    WoLLIC'16
    LFCS'16

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Models
    Proofs

Publications
    Books
    Papers
    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


Edited Volumes

Proceedings of WoLLIC 2011, L. Beklemishev & R. de Queiroz (eds.), Volume 6642 of Lecture Notes in Computer Science (FoLLI-LNAI subseries), Springer Verlag, May 2011.

Proceedings of WoLLIC 2010, A. Dawar & R. de Queiroz (eds.), Volume 6188 of Lecture Notes in Computer Science (FoLLI-LNAI subseries), Springer Verlag, July 2010.

Proceedings of WoLLIC 2009, H. Ono, M. Kanazawa & R. de Queiroz (eds.), Volume 5514 of Lecture Notes in Computer Science (FoLLI-LNAI subseries), Springer Verlag, June 2009.

Festschrift in honor of Grigori Mints' 70th birthday, W. Sieg, S. Feferman, V. Kreinovich, V. Lifschitz & R. de Queiroz (eds.), 2009, to appear.

WoLLIC 2009 Special Issue, H. Ono, M. Kanazawa & R. de Queiroz (eds.), Special Issue of Fundamenta Informaticae, IOS Press, 200?, to appear.

WoLLIC 2008 Special Issue, W. Hodges & R. de Queiroz (eds.), Special Issue of Journal of Computer and System Sciences, Elsevier, 200?, to appear.

Proceedings of WoLLIC 2008, W. Hodges & R. de Queiroz (eds.), Volume 5110 of Lecture Notes in Computer Science (FoLLI-LNAI subseries), Springer Verlag, ISBN 978-3-540-69936-1, July 2008.

WoLLIC 2007 Special Issue, D. Leivant & R. de Queiroz (eds.), Special Issue of Information and Computation, Elsevier, 200?, to appear.

Proceedings of WoLLIC 2007, D. Leivant & R. de Queiroz (eds.), Volume 4576 of Lecture Notes in Computer Science (ISSN 1571-0661), Springer Verlag, 2007.

WoLLIC 2006 Special Issue, G. Mints, V. de Paiva & R. de Queiroz (eds.), Special Issue of Information and Computation, Elsevier, 200?, to appear.

Proceedings of WoLLIC 2006, G. Mints & R. de Queiroz (eds.), Volume 165 of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., November 2006.

WoLLIC 2005 Special Issue, R. de Queiroz & A. MacIntyre (eds.), Volume 152, Issues 1-3 of Annals of Pure and Applied Logic, Elsevier, March 2008.

Proceedings of WoLLIC 2005, R. de Queiroz, A. MacIntyre & G. Bittencourt (eds.), Volume 143 of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., Jan 2006.

WoLLIC 2004 Special Issue, R. de Queiroz & P. Cégielski (eds.), Special Issue of Theoretical Computer Science, Elsevier, Volume 364, Issue 2, Pages 143-270 (6 November 2006).

WoLLIC 2003 Special Issue, R. de Queiroz & D. Kozen (eds.), Special Issue of Theoretical Computer Science, Elsevier, Volume 355, Issue 2, Pages 105-260 (11 April 2006).

WoLLIC 2002 Special Issue, R. de Queiroz, B. Poizat & S. Artemov (eds.), Special Issue of the Annals of Pure and Applied Logic, Elsevier, Volume 134, Issue 1, June 2005.

Proceedings of WoLLIC 2004, R. de Queiroz & P. Cégielski (eds.), Volume 123 of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., March 2005.

Proceedings of WoLLIC 2003, R. de Queiroz, E. Pimentel & L. Figueiredo (eds.), Volume 84 of the Electronic Notes in Theoretical Computer Science (ISSN 1571-0661), Elsevier Science Pub., September 2003.

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

Proceedings of WoLLIC 2002, R. de Queiroz, L. C. Pereira & E. H. Haeusler (eds.), Volume 67 of the Electronic Notes in Theoretical Computer Science, Elsevier Science Pub., September 2002, ISBN 044451290X.

Proceedings of WoLLIC 2001, J. Baldwin, R. de Queiroz & E. H. Hauesler (eds.), Volume 24 of Matemática Contemporânea, Sociedade Brasileira de Matemática, July 2003.

WoLLIC 2000 Special Issue of the Logic Journal of the Interest Group in Pure and Applied Logics, 9(6), Oxford University Press, November 2001.

WoLLIC'99 Special Issue of the Logic Journal of the Interest Group in Pure and Applied Logics, 8(5), Oxford University Press, September 2000.

Proceedings of WoLLIC'99, R. de Queiroz & W. Carnielli (ed.), May 1999.

Proceedings of WoLLIC'98, R. de Queiroz & M. Finger (ed.), July 1998.

WoLLIC'96 Special Issue of the Logic Journal of the Interest Group in Pure and Applied Logics 5(4), Oxford University Press, July 1997.

WoLLIC'95 Special Issue of the Logic Journal of the Interest Group in Pure and Applied Logics 5(2), Oxford University Press, March 1997.

WoLLIC'94 Special Issue of the Bulletin of the Interest Group in Pure and Applied Logics 3(4), Max Planck Institut für Informatik, Saarbrücken, July 1995.


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