The SCEAS System
Navigation Menu

Journals in DBLP

Logic Journal of the IGPL
2006, volume: 14, number: 5


  1. Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:631- [Journal]
  2. Udi Boker, Nachum Dershowitz
    Comparing Computational Power. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:633-647 [Journal]
  3. Jerzy Mycka, José Félix Costa
    Undecidability over Continuous Time. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:649-658 [Journal]
  4. Tatyana Veksler, Nissim Francez
    A Lambek Automaton. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:659-708 [Journal]
  5. Haim Gaifman
    Naming and Diagonalization, from Cantor to Gödel to Kleene. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:709-728 [Journal]
  6. Alex Groce, Doron Peled, Mihalis Yannakakis
    Adaptive Model Checking. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:729-744 [Journal]
  7. Hilary Putnam
    After Gödel. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:745-754 [Journal]
  8. Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Verifying Temporal Heap Properties Specified via Evolution Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:755-783 [Journal]
  9. Vladimir Sazonov
    Querying Hyperset/Web-Like Databases. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:785-814 [Journal]
  10. Eli Shamir
    Satisfiability Decay along Conjunctions of Pseudo-Random Clauses. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:815-825 [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