The SCEAS System
Navigation Menu

Journals in DBLP

Logic Journal of the IGPL
2005, volume: 13, number: 1

  1. Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
    An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:1-3 [Journal]
  2. Vania Costa, Mario R. F. Benevides
    Reasoning about Knowledge in Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:5-28 [Journal]
  3. Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas
    An Application of Logic Engineering. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:29-46 [Journal]
  4. Klaus-Dieter Schewe, Jose Maria Turull Torres
    A Theory of Local Set Queries. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:47-68 [Journal]
  5. Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso
    Exploring Computational Contents of Intuitionist Proofs. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:69-93 [Journal]
  6. Michel Ghins
    Can Common Sense Realism be Extended to Theoretical Physics? [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:95-111 [Journal]
  7. Décio Krause
    Structures and Structural Realism. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:113-126 [Journal]
  8. Carlos A. Lungarzo
    Many-valued Logics in Classical and Quantum Gates. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:127-138 [Journal]
  9. Osvaldo Pessoa Jr.
    Towards a Modal Logical Treatment of Quantum Physics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:1, pp:139-147 [Journal]
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002