The SCEAS System
Navigation Menu

Journals in DBLP

J. Applied Logic
2006, volume: 4, number: 1

  1. Michael Hoche, Peter Szabó
    Essential unifiers. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:1, pp:1-25 [Journal]
  2. Claudio A. Policastro, André Carlos Ponce Leon Ferreira de Carvalho, Alexandre C. B. Delbem
    Automatic knowledge learning and case adaptation with a hybrid committee approach. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:1, pp:26-38 [Journal]
  3. Martin Lange
    Model checking propositional dynamic logic with all extras. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:1, pp:39-49 [Journal]
  4. Clare Dixon
    Using temporal logics of knowledge for specification and verification - a case study. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:1, pp:50-78 [Journal]
  5. Bruno Courcelle
    The monadic second-order logic of graphs XV: On a conjecture by D. Seese. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:1, pp:79-114 [Journal]
  6. Rolf Nossum
    Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133]. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:1, pp:115- [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