The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ruy J. G. B. de Queiroz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
    A New Basic Set of Transformations between Proofs. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:499-528 [Conf]
  2. Nicia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz
    Labelled Abduction. [Citation Graph (0, 0)][DBLP]
    SBIA, 1995, pp:91-100 [Conf]
  3. Steffen Lewitzka, Ruy J. G. B. de Queiroz
    On dividing chains in simple theories. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2005, v:44, n:7, pp:897-911 [Journal]
  4. Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov
    WoLLIC'2002. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:134, n:1, pp:1-4 [Journal]
  5. Ruy J. G. B. de Queiroz, Patrick Cégielski
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:1-3 [Journal]
  6. Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:143, n:, pp:1-4 [Journal]
  7. Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
  8. Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
    Preface: WoLLIC 2002 [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  9. Grigori Mints, Ruy J. G. B. de Queiroz
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:1-3 [Journal]
  10. Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
    A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:2, pp:173-215 [Journal]
  11. Ruy J. G. B. de Queiroz
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal]
  12. Ruy J. G. B. de Queiroz
    7th Workshop on Logic, Language, Information and Computation (WoLLIC'99). [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:1, pp:- [Journal]
  13. Ruy J. G. B. de Queiroz
    Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:5, pp:- [Journal]
  14. Ruy J. G. B. de Queiroz
    8th Workshop on Logic, Language, Information and Computation. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:5, pp:- [Journal]
  15. Ruy J. G. B. de Queiroz
    Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:6, pp:- [Journal]
  16. Ruy J. G. B. de Queiroz
    Conference Report: Logic in Natural Language. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:4, pp:657-658 [Journal]
  17. Ruy J. G. B. de Queiroz
    Conference Report: Logic for Concurrency and Synchronisation (LOCUS). [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:4, pp:659-663 [Journal]
  18. Ruy J. G. B. de Queiroz, Marcelo Finger
    Conference Report: Wollic'98. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:6, pp:917-918 [Journal]
  19. Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes
    Conference Report: Logic, Proofs and Algorithms. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:4, pp:656-657 [Journal]
  20. Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler
    9th Workshop on Logic, Language, Information and Computation. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:6, pp:679-688 [Journal]
  21. Dov M. Gabbay, Ruy J. G. B. de Queiroz
    Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1319-1365 [Journal]
  22. Ruy J. G. B. de Queiroz, Patrick Cégielski
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:364, n:2, pp:143-145 [Journal]
  23. Ruy J. G. B. de Queiroz, Dexter Kozen
    Logic, Language, Information and Computation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:105-107 [Journal]

  24. Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. [Citation Graph (, )][DBLP]


  25. Breach of internet privacy through the use of cookies. [Citation Graph (, )][DBLP]


  26. Logic, Language, Information and Computation. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.304secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002