Ruy J. G. B. de Queiroz

138 papers B 2C 32Journal 88Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	C	`ed.`	Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings WoLLIC Dexter Kozen, Ruy J. G. B. de Queiroz
2025	J	`jnl`	27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021. J. Log. Comput. Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz
2025	J	`jnl`	31st workshop on logic, language, information, and computation ( Log. J. IGPL Dexter Kozen, Ruy J. G. B. de Queiroz
2025	J	`jnl`	A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums. CoRR Arthur F. Ramos, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Tiago Mendonça Lucena de Veras
2025	J	`jnl`	Computational Paths Form a Weak ω-Groupoid. CoRR Arthur F. Ramos, Tiago M. L. de Veras, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2025	J	`jnl`	Computational paths - a weak groupoid. J. Log. Comput. Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2025	J	`jnl`	Formalizing Computational Paths and Fundamental Groups in Lean. CoRR Arthur F. Ramos, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Tiago M. L. de Veras
2025	J	`jnl`	From the Notebooks to the Investigations and Beyond. CoRR Ruy J. G. B. de Queiroz
2025	J	`jnl`	Meaning as Use, Application, Employment, Purpose, Usefulness. CoRR Ruy J. G. B. de Queiroz
2025	J	`jnl`	The K CoRR Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
2025	J	`jnl`	The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups. CoRR Arthur F. Ramos, Tiago Mendonça Lucena de Veras, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2025	J	`jnl`	WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation. Math. Struct. Comput. Sci. Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz
2024	C	`ed.`	Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings WoLLIC George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz
2024	J	`jnl`	SABER post-quantum key encapsulation mechanism (KEM): evaluating performance in ARM and x64 architectures. J. Cryptogr. Eng. Leonardo A. D. S. Ribeiro, José Paulo da Silva Lima, Ruy J. G. B. de Queiroz, Amirton Bezerra Chagas, José R. R. Junior, Jonysberg P. Quintino, Fabio Q. B. da Silva, André L. M. Santos
2023	J	`jnl`	From Tractatus to Later Writings and Back - New Implications from the Nachlass. CoRR Ruy J. G. B. de Queiroz
2023	C	`ed.`	Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings WoLLIC Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz
2023	J	`jnl`	Towards a homotopy domain theory. Arch. Math. Log. Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
2022	J	`jnl`	25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. J. Log. Lang. Inf. Lawrence S. Moss, Ruy J. G. B. de Queiroz
2022	J	`jnl`	26th Workshop on Logic, Language, Information and Computation - WoLLIC 2019. Inf. Comput. Ruy J. G. B. de Queiroz
2022	J	`jnl`	Cypherpunk. Internet Policy Rev. André Ramiro, Ruy J. G. B. de Queiroz
2022	J	`jnl`	Distributed Repository for Software Packages Using Blockchain. IEEE Access Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz, Gustavo P. Bittencourt, Leopoldo Teixeira
2022	C	`ed.`	Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings WoLLIC Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
2022	J	`jnl`	∞-Groupoid Generated by an Arbitrary Topological λ-Model. Log. J. IGPL Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
2021	J	`jnl`	24th Workshop on Logic, Language, Information and Computation - WoLLIC 2017. Arch. Math. Log. Juliette Kennedy, Ruy J. G. B. de Queiroz
2021	C	`ed.`	Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings WoLLIC Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz
2021	J	`jnl`	Solving Homotopy Domain Equations. CoRR Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
2021	J	`jnl`	The Theory of an Arbitrary Higher λ-Model. CoRR Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
2020	—	`conf`	A Blockchain Using Proof-of-Download. Blockchain Felipe Zimmerle da N. Costa, Ruy J. G. B. de Queiroz
2020	J	`jnl`	Computational Paths - A Weak Groupoid. CoRR Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira
2020	J	`jnl`	Towards a Homotopy Domain Theory (HoDT). CoRR Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
2019	J	`jnl`	23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. Ann. Pure Appl. Log. Jouko Väänänen, Ruy J. G. B. de Queiroz
2019	J	`jnl`	24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017). Log. J. IGPL Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh
2019	J	`jnl`	25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018). Log. J. IGPL Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz
2019	J	`jnl`	A Topological Application of Labelled Natural Deduction. CoRR Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2019	J	`jnl`	An alternative approach to the calculation of fundamental groups based on labeled natural deduction. CoRR Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2019	J	`jnl`	An extensional λ-model with ∞-grupoid structure. CoRR Daniel Martinez Rivillas, Ruy J. G. B. de Queiroz
2019	C	`ed.`	Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings WoLLIC Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz
2019	J	`jnl`	Preface. Math. Struct. Comput. Sci. Valeria de Paiva, Ruy J. G. B. de Queiroz
2019	J	`jnl`	Propositional intuitionistic multiple-conclusion calculus via proof graphs. Log. J. IGPL Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2018	C	`ed.`	Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings WoLLIC Lawrence S. Moss, Ruy J. G. B. de Queiroz, Maricarmen Martínez
2018	J	`jnl`	On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. CoRR Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2018	J	`jnl`	On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. CoRR Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras
2018	J	`jnl`	Sequentialization for full N-Graphs via sub-N-Graphs. CoRR Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2018	—	`conf`	Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. LSFA Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz
2017	J	`jnl`	20th workshop on logic, language, information and computation - WoLLIC 2013. J. Comput. Syst. Sci. Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz
2017	J	`jnl`	21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014. Inf. Comput. Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2017	J	`jnl`	23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez
2017	C	`ed.`	Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings WoLLIC Juliette Kennedy, Ruy J. G. B. de Queiroz
2017	J	`jnl`	On the identity type as the type of computational paths. Log. J. IGPL Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2016	J	`jnl`	22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). Log. J. IGPL Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz
2016	B	`conf`	A meta-analysis for security threats over the Web ecosystem. NOMS Carlo Marcelo Revoredo da Silva, Ricardo Batista Rodrigues, Ruy J. G. B. de Queiroz, Vinicius C. Garcia, José Silva, Daniel Gatti, Leandro M. do Nascimento, Kellyton Brito, Rodrigo Elia Assad
2016	J	`jnl`	Computational Paths and Identity Types. CoRR Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2016	J	`jnl`	Digital content and cloud-based contracts in Brazil and the European Union. Int. J. Law Inf. Technol. Clarice Marinho Martins de Castro, Chris Reed, Ruy J. G. B. de Queiroz
2016	C	`ed.`	Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings WoLLIC Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz
2016	C	`conf`	On the Formalization of Some Results of Context-Free Language Theory. WoLLIC Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
2016	B	`conf`	Towards a taxonomy for security threats on the web ecosystem. NOMS Carlo Marcelo Revoredo da Silva, Ricardo Batista Rodrigues, Ruy J. G. B. de Queiroz, Vinicius C. Garcia, José Silva, Daniel Gatti, Rodrigo Elia Assad, Leandro M. do Nascimento, Kellyton Brito, Péricles B. C. Miranda
2015	J	`jnl`	21st Workshop on Logic, Language, Information and Computation ( Log. J. IGPL Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2015	J	`jnl`	Context-Free Language Theory Formalization. CoRR Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
2015	J	`jnl`	Formalization of closure properties for context-free grammars. CoRR Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
2015	J	`jnl`	Formalization of context-free language theory. CoRR Marcus V. M. Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
2015	J	`jnl`	Formalization of simplification for context-free grammars. CoRR Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
2015	J	`jnl`	Formalization of the pumping lemma for context-free languages. CoRR Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
2015	J	`jnl`	Logic, Language, Information and Computation (WoLLIC 2012). Theor. Comput. Sci. C.-H. Luke Ong, Ruy J. G. B. de Queiroz
2015	C	`ed.`	Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings WoLLIC Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira
2015	—	`conf`	Normalization of N-Graphs via Sub-N-Graphs. LSFA Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2015	J	`jnl`	On Computational Paths and the Fundamental Groupoid of a Type. CoRR Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2015	J	`jnl`	On the Groupoid Model of Computational Paths. CoRR Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2015	J	`jnl`	On the Identity Type as the Type of Computational Paths. CoRR Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2014	J	`jnl`	Editor's foreword: WoLLIC 2010. J. Comput. Syst. Sci. Anuj Dawar, Ruy J. G. B. de Queiroz
2014	J	`jnl`	Editors' foreword. J. Comput. Syst. Sci. Lev D. Beklemishev, Ruy J. G. B. de Queiroz, Andre Scedrov
2014	J	`jnl`	Intuitionistic N-Graphs. Log. J. IGPL Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva
2014	C	`ed.`	Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings WoLLIC Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2014	J	`jnl`	Sequences of Rewrites: A Categorical Interpretation. CoRR Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2014	C	`conf`	Sequentialization for N-Graphs via Sub-N-Graphs. WoLLIC Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2013	C	`conf`	Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. WoLLIC Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2013	C	`ed.`	Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings WoLLIC Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz
2013	J	`jnl`	On the Applicability of the Common European Sales Law to some Models of Cloud Computing Services. Eur. J. Law Technol. Clarice Marinho Martins de Castro, Chris Reed, Ruy J. G. B. de Queiroz
2013	—	`conf`	Reviewing some clauses of cloud-based Google's Agreements in Brazil. LatinCloud Clarice Marinho Martins de Castro, Ruy J. G. B. de Queiroz
2013	—	`conf`	Scheme of User Privacy Protection Applied to Online Marketing. TrustCom/ISPA/IUCC Maria das Gracas da Silva Oliveira, Ruy J. G. B. de Queiroz
2013	—	`conf`	Toward Coercion-Resistant End-to-End Verifiable Electronic Voting Systems. TrustCom/ISPA/IUCC Wagner Medeiros dos Santos, Ruy J. G. B. de Queiroz, Carlos E. R. Saraiva, Gleudson P. V. Junior
2012	—	`conf`	A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs. SERE (Companion) Rodrigo Alves Costa, Ruy J. G. B. de Queiroz, Elmano Ramalho Cavalcanti
2012	C	`ed.`	Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings WoLLIC C.-H. Luke Ong, Ruy J. G. B. de Queiroz
2011	C	`ed.`	Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings WoLLIC Lev D. Beklemishev, Ruy J. G. B. de Queiroz
2011	J	`jnl`	Preface. Fundam. Informaticae Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz
2011	—	`conf`	Preserving Vote Secrecy in End-to-End Verifiable Voting Systems. SocialCom/PASSAT Wagner Medeiros dos Santos, Ruy J. G. B. de Queiroz
2011	J	`jnl`	Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. Fundam. Informaticae Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2011	J	`jnl`	Propositional equality, identity types, and direct computational paths CoRR Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2011	—	`book`	The Functional Interpretation of Logical Deduction Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Dov M. Gabbay
2011	—	`conf`	Uma Ferramenta Adaptativa Baseada em Agentes Móveis Inteligentes para Segurança de Aplicações Web. SBSI Márcio A. Macêdo, Ruy J. G. B. de Queiroz, Julio Cesar Damasceno
2010	—	`conf`	Breach of internet privacy through the use of cookies. PETRA Anderson A. L. Queiroz, Ruy J. G. B. de Queiroz
2010	J	`jnl`	Editors' foreword for JCSS WoLLIC 2008. J. Comput. Syst. Sci. Wilfrid Hodges, Ruy J. G. B. de Queiroz
2010	C	`ed.`	Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings WoLLIC Anuj Dawar, Ruy J. G. B. de Queiroz
2010	J	`jnl`	Logic, language, information and computation. Inf. Comput. Daniel Leivant, Ruy J. G. B. de Queiroz
2010	—	`conf`	The Functional Interpretation of Direct Computations. LSFA Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2009	C	`ed.`	Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings WoLLIC Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz
2009	J	`jnl`	Logic, Language, Information and Computation. Inf. Comput. Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz
2009	C	`conf`	Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. WoLLIC Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2008	C	`ed.`	Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings WoLLIC Wilfrid Hodges, Ruy J. G. B. de Queiroz
2008	J	`jnl`	Logic, Language, Information and Computation. Ann. Pure Appl. Log. Ruy J. G. B. de Queiroz, Angus Macintyre
2008	J	`jnl`	On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics. Stud Logica Ruy J. G. B. de Queiroz
2007	C	`ed.`	Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings WoLLIC Daniel Leivant, Ruy J. G. B. de Queiroz
2006	J	`jnl`	Logic, Language, Information and Computation. Theor. Comput. Sci. Ruy J. G. B. de Queiroz, Dexter Kozen
2006	C	`conf`	Preface. WoLLIC Grigori Mints, Ruy J. G. B. de Queiroz
2006	J	`jnl`	Preface. Theor. Comput. Sci. Ruy J. G. B. de Queiroz, Patrick Cégielski
2006	C	`ed.`	Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005 WoLLIC Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt
2006	C	`ed.`	Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006 WoLLIC Grigori Mints, Ruy J. G. B. de Queiroz
2005	—	`conf`	A New Basic Set of Transformations between Proofs. We Will Show Them! (2) Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2005	J	`jnl`	On dividing chains in simple theories. Arch. Math. Log. Steffen Lewitzka, Ruy J. G. B. de Queiroz
2005	C	`conf`	Preface. WoLLIC Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt
2005	C	`ed.`	Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004 WoLLIC Ruy J. G. B. de Queiroz, Patrick Cégielski
2005	J	`jnl`	WoLLIC'2002. Ann. Pure Appl. Log. Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov
2004	C	`conf`	Preface. WoLLIC Ruy J. G. B. de Queiroz, Patrick Cégielski
2003	C	`ed.`	10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003 WoLLIC Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
2003	—	`ch.`	Geometry of Deduction Via Graphs of Proofs. Logic for Concurrency and Synchronisation Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2003	—	`book`	Logic for Concurrency and Synchronisation Ruy J. G. B. de Queiroz
2003	C	`conf`	Preface. WoLLIC Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
2002	C	`ed.`	9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002 WoLLIC Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
2002	J	`jnl`	9th Workshop on Logic, Language, Information and Computation. Log. J. IGPL Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
2002	C	`conf`	Preface: WoLLIC 2002 WoLLIC Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
2001	J	`jnl`	7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000). Log. J. IGPL Ruy J. G. B. de Queiroz
2001	J	`jnl`	8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001). Log. J. IGPL Ruy J. G. B. de Queiroz
2001	J	`jnl`	Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. Log. J. IGPL Ruy J. G. B. de Queiroz
2000	J	`jnl`	Editorial. Log. J. IGPL Ruy J. G. B. de Queiroz
1999	J	`jnl`	A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction. Log. J. IGPL Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
1998	J	`jnl`	Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS). Log. J. IGPL Peter A. Flach, Antonis C. Kakas, Ruy J. G. B. de Queiroz, Katia Silva Guimarães
1998	J	`jnl`	Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98). Log. J. IGPL Ruy J. G. B. de Queiroz, Marcelo Finger
1997	J	`jnl`	Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). Log. J. IGPL Ruy J. G. B. de Queiroz
1996	J	`jnl`	Conferences. Log. J. IGPL Ruy J. G. B. de Queiroz
1996	J	`jnl`	Second Workshop on Logic, Language, Information and Computation (WoLLIC'95). Log. J. IGPL Ruy J. G. B. de Queiroz
1995	J	`jnl`	Editorial. Log. J. IGPL Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
1995	J	`jnl`	Editorial. Log. J. IGPL Ruy J. G. B. de Queiroz
1995	—	`conf`	Labelled Abduction. SBIA Nícia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz
1995	J	`jnl`	The Bulletin turned into a Journal. Log. J. IGPL Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
1995	J	`jnl`	The Functional Interpretation of the Existential Quantifier. Log. J. IGPL Ruy J. G. B. de Queiroz, Dov M. Gabbay
1994	J	`jnl`	Speed with Quality. Log. J. IGPL Dov M. Gabbay, Ruy J. G. B. de Queiroz
1992	J	`jnl`	Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. J. Symb. Log. Dov M. Gabbay, Ruy J. G. B. de Queiroz
1991	J	`jnl`	Abstract Data Types and Type Theory: Theories as Types. Math. Log. Q. Ruy J. G. B. de Queiroz, T. S. E. Maibaum
1990	J	`jnl`	Proof theory and computer programming. Math. Log. Q. Ruy J. G. B. de Queiroz, T. S. E. Maibaum