|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 46 publication records. Showing 46 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira |
The Functional Interpretation of Direct Computations.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira |
Propositional equality, identity types, and direct computational paths |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wagner Medeiros dos Santos, Ruy J. G. B. de Queiroz |
Preserving Vote Secrecy in End-to-End Verifiable Voting Systems. |
SocialCom/PASSAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Leivant, Ruy J. G. B. de Queiroz |
Logic, language, information and computation. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilfrid Hodges, Ruy J. G. B. de Queiroz |
Editors' foreword for JCSS WoLLIC 2008. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson A. L. Queiroz, Ruy J. G. B. de Queiroz |
Breach of internet privacy through the use of cookies. |
PETRA |
2010 |
DBLP DOI BibTeX RDF |
invasion, internet, privacy, cookies, crime |
| 1 | Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz |
Logic, Language, Information and Computation. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
proof-graphs, multiple conclusion, normalization, cycles, proof theory |
| 1 | Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics. |
Studia Logica |
2008 |
DBLP DOI BibTeX RDF |
reduction rules, proof-terms, proof-theoretic semantics, game-theoretic semantics, dialogue semantics, natural deduction |
| 1 | Ruy J. G. B. de Queiroz, Angus Macintyre |
Logic, Language, Information and Computation. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilfrid Hodges, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings |
WoLLIC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daniel Leivant, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings |
WoLLIC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Patrick Cégielski |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Dexter Kozen |
Logic, Language, Information and Computation. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigori Mints, Ruy J. G. B. de Queiroz |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Patrick Cégielski |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov |
WoLLIC'2002. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Lewitzka, Ruy J. G. B. de Queiroz |
On dividing chains in simple theories. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Simple theories, Dividing chains, Morley sequences |
| 1 | Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
A New Basic Set of Transformations between Proofs. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler |
Preface: WoLLIC 2002 |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
7th Workshop on Logic, Language, Information and Computation (WoLLIC'99). |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
8th Workshop on Logic, Language, Information and Computation. |
Logic Journal of the IGPL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
Editorial. |
Logic Journal of the IGPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
Conference Report: Logic for Concurrency and Synchronisation (LOCUS). |
Logic Journal of the IGPL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Marcelo Finger |
Conference Report: Wollic'98. |
Logic Journal of the IGPL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
Conference Report: Logic in Natural Language. |
Logic Journal of the IGPL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes |
Conference Report: Logic, Proofs and Algorithms. |
Logic Journal of the IGPL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). |
Logic Journal of the IGPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
Second Workshop on Logic, Language, Information and Computation (WoLLIC'95). |
Logic Journal of the IGPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
Conferences. |
Logic Journal of the IGPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz, Dov M. Gabbay |
The Functional Interpretation of the Existential Quantifier. |
Logic Journal of the IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz |
Editorial. |
Logic Journal of the IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy J. G. B. de Queiroz |
Editorial. |
Logic Journal of the IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz |
The Bulletin turned into a Journal. |
Logic Journal of the IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz |
Labelled Abduction. |
SBIA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Ruy J. G. B. de Queiroz |
Speed with Quality. |
Logic Journal of the IGPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 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. |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")