| 2008 |
|---|
| 34 | | Wilfrid Hodges,
Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings
Springer 2008 |
| 33 | EE | Ruy J. G. B. de Queiroz,
Angus Macintyre:
Logic, Language, Information and Computation.
Ann. Pure Appl. Logic 152(1-3): 1-2 (2008) |
| 32 | EE | Ruy J. G. B. de Queiroz:
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.
Studia Logica 90(2): 211-247 (2008) |
| 2007 |
|---|
| 31 | | Daniel Leivant,
Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Springer 2007 |
| 2006 |
|---|
| 30 | EE | Ruy J. G. B. de Queiroz,
Angus Macintyre,
Guilherme Bittencourt:
Preface.
Electr. Notes Theor. Comput. Sci. 143: 1-4 (2006) |
| 29 | EE | Grigori Mints,
Ruy J. G. B. de Queiroz:
Preface.
Electr. Notes Theor. Comput. Sci. 165: 1-3 (2006) |
| 28 | EE | Ruy J. G. B. de Queiroz,
Dexter Kozen:
Logic, Language, Information and Computation.
Theor. Comput. Sci. 355(2): 105-107 (2006) |
| 27 | EE | Ruy J. G. B. de Queiroz,
Patrick Cégielski:
Preface.
Theor. Comput. Sci. 364(2): 143-145 (2006) |
| 2005 |
|---|
| 26 | | Anjolina Grisi de Oliveira,
Ruy J. G. B. de Queiroz:
A New Basic Set of Transformations between Proofs.
We Will Show Them! (2) 2005: 499-528 |
| 25 | EE | Ruy J. G. B. de Queiroz,
Bruno Poizat,
Sergei N. Artëmov:
WoLLIC'2002.
Ann. Pure Appl. Logic 134(1): 1-4 (2005) |
| 24 | EE | Steffen Lewitzka,
Ruy J. G. B. de Queiroz:
On dividing chains in simple theories.
Arch. Math. Log. 44(7): 897-911 (2005) |
| 23 | EE | Ruy J. G. B. de Queiroz,
Patrick Cégielski:
Preface.
Electr. Notes Theor. Comput. Sci. 123: 1-3 (2005) |
| 2003 |
|---|
| 22 | EE | Ruy J. G. B. de Queiroz,
Elaine Pimentel,
Lucília Figueiredo:
Preface.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 |
|---|
| 21 | EE | Ruy J. G. B. de Queiroz,
Luiz Carlos Pereira,
Edward Hermann Haeusler:
Preface: WoLLIC 2002
Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 20 | EE | Ruy J. G. B. de Queiroz,
Luiz Carlos Pereira,
Edward Hermann Haeusler:
9th Workshop on Logic, Language, Information and Computation.
Logic Journal of the IGPL 10(6): 679-688 (2002) |
| 2001 |
|---|
| 19 | EE | Ruy J. G. B. de Queiroz:
7th Workshop on Logic, Language, Information and Computation (WoLLIC'99).
Logic Journal of the IGPL 9(1): (2001) |
| 18 | EE | Ruy J. G. B. de Queiroz:
8th Workshop on Logic, Language, Information and Computation.
Logic Journal of the IGPL 9(5): (2001) |
| 17 | EE | Ruy J. G. B. de Queiroz:
Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts.
Logic Journal of the IGPL 9(5): (2001) |
| 2000 |
|---|
| 16 | EE | Ruy J. G. B. de Queiroz:
Editorial.
Logic Journal of the IGPL 8(5): (2000) |
| 1999 |
|---|
| 15 | EE | Anjolina Grisi de Oliveira,
Ruy J. G. B. de Queiroz:
A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction.
Logic Journal of the IGPL 7(2): 173-215 (1999) |
| 1998 |
|---|
| 14 | EE | Ruy J. G. B. de Queiroz,
Kátia Silva Guimaraes:
Conference Report: Logic, Proofs and Algorithms.
Logic Journal of the IGPL 6(4): 656-657 (1998) |
| 13 | EE | Ruy J. G. B. de Queiroz:
Conference Report: Logic in Natural Language.
Logic Journal of the IGPL 6(4): 657-658 (1998) |
| 12 | EE | Ruy J. G. B. de Queiroz:
Conference Report: Logic for Concurrency and Synchronisation (LOCUS).
Logic Journal of the IGPL 6(4): 659-663 (1998) |
| 11 | EE | Ruy J. G. B. de Queiroz,
Marcelo Finger:
Conference Report: Wollic'98.
Logic Journal of the IGPL 6(6): 917-918 (1998) |
| 1997 |
|---|
| 10 | EE | Ruy J. G. B. de Queiroz:
Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97).
Logic Journal of the IGPL 5(6): (1997) |
| 1996 |
|---|
| 9 | EE | Ruy J. G. B. de Queiroz:
Second Workshop on Logic, Language, Information and Computation (WoLLIC'95).
Logic Journal of the IGPL 4(2): 309-344 (1996) |
| 8 | EE | Ruy J. G. B. de Queiroz:
Conferences.
Logic Journal of the IGPL 4(3): 473-527 (1996) |
| 1995 |
|---|
| 7 | | Nicia Cristina Rocha Riccio,
Ruy J. G. B. de Queiroz:
Labelled Abduction.
SBIA 1995: 91-100 |
| 6 | EE | Dov M. Gabbay,
Hans Jürgen Ohlbach,
Ruy J. G. B. de Queiroz:
Editorial.
Logic Journal of the IGPL 3(1): 4-6 (1995) |
| 5 | EE | Ruy J. G. B. de Queiroz,
Dov M. Gabbay:
The Functional Interpretation of the Existential Quantifier.
Logic Journal of the IGPL 3(2-3): 243-290 (1995) |
| 4 | EE | Ruy J. G. B. de Queiroz:
Editorial.
Logic Journal of the IGPL 3(4): 532-533 (1995) |
| 3 | EE | Dov M. Gabbay,
Hans Jürgen Ohlbach,
Ruy J. G. B. de Queiroz:
The Bulletin turned into a Journal.
Logic Journal of the IGPL 3(5): 682 (1995) |
| 1994 |
|---|
| 2 | EE | Dov M. Gabbay,
Ruy J. G. B. de Queiroz:
Speed with Quality.
Logic Journal of the IGPL 2(1): 1-2 (1994) |
| 1992 |
|---|
| 1 | | Dov M. Gabbay,
Ruy J. G. B. de Queiroz:
Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics.
J. Symb. Log. 57(4): 1319-1365 (1992) |
