Ruy J. G. B. de Queiroz

	2009
37		Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings Springer 2009
36		Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz: Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. WoLLIC 2009: 84-98
35		Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation. Inf. Comput. 207(10): 969-970 (2009)
	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		Ruy J. G. B. de Queiroz, Angus Macintyre: Logic, Language, Information and Computation. Ann. Pure Appl. Logic 152(1-3): 1-2 (2008)
32		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		Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt: Preface. Electr. Notes Theor. Comput. Sci. 143: 1-4 (2006)
29		Grigori Mints, Ruy J. G. B. de Queiroz: Preface. Electr. Notes Theor. Comput. Sci. 165: 1-3 (2006)
28		Ruy J. G. B. de Queiroz, Dexter Kozen: Logic, Language, Information and Computation. Theor. Comput. Sci. 355(2): 105-107 (2006)
27		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		Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov: WoLLIC'2002. Ann. Pure Appl. Logic 134(1): 1-4 (2005)
24		Steffen Lewitzka, Ruy J. G. B. de Queiroz: On dividing chains in simple theories. Arch. Math. Log. 44(7): 897-911 (2005)
23		Ruy J. G. B. de Queiroz, Patrick Cégielski: Preface. Electr. Notes Theor. Comput. Sci. 123: 1-3 (2005)
	2003
22		Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo: Preface. Electr. Notes Theor. Comput. Sci. 84: (2003)
	2002
21		Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: Preface: WoLLIC 2002 Electr. Notes Theor. Comput. Sci. 67: (2002)
20		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		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		Ruy J. G. B. de Queiroz: 8th Workshop on Logic, Language, Information and Computation. Logic Journal of the IGPL 9(5): (2001)
17		Ruy J. G. B. de Queiroz: Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. Logic Journal of the IGPL 9(5): (2001)
	2000
16		Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the IGPL 8(5): (2000)
	1999
15		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		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		Ruy J. G. B. de Queiroz: Conference Report: Logic in Natural Language. Logic Journal of the IGPL 6(4): 657-658 (1998)
12		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		Ruy J. G. B. de Queiroz, Marcelo Finger: Conference Report: Wollic'98. Logic Journal of the IGPL 6(6): 917-918 (1998)
	1997
10		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		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		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		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		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		Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the IGPL 3(4): 532-533 (1995)
3		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		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)

Coauthor Index

1	Gleifer V. Alves	[36]
2	Sergei N. Artëmov	[25]
3	Guilherme Bittencourt	[30]
4	Patrick Cégielski	[23] [27]
5	Lucília Figueiredo	[22]
6	Marcelo Finger	[11]
7	Dov M. Gabbay	[1] [2] [3] [5] [6]
8	Kátia Silva Guimaraes	[14]
9	Edward Hermann Haeusler	[20] [21]
10	Wilfrid Hodges	[34]
11	Makoto Kanazawa	[37]
12	Dexter Kozen	[28]
13	Daniel Leivant	[31]
14	Steffen Lewitzka	[24]
15	Angus Macintyre	[30] [33]
16	Grigori Mints	[29] [35]
17	Hans Jürgen Ohlbach	[3] [6]
18	Anjolina Grisi de Oliveira	[15] [26] [36]
19	Hiroakira Ono	[37]
20	Valeria de Paiva	[35]
21	Luiz Carlos Pereira	[20] [21]
22	Elaine Pimentel	[22]
23	Bruno Poizat	[25]
24	Nicia Cristina Rocha Riccio	[7]

Colors in the list of coauthors