Journals in DBLP

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

1. Mark Reynolds, Abdul Sattar
   Editors' introduction. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:2, pp:117-118 [Journal]
   
2. Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
   On the consistency problem for the INDU calculus. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:2, pp:119-140 [Journal]
   
3. Alexander Bolotov, Artie Basukoski
   A clausal resolution method for extended computation tree logic ECTL. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:2, pp:141-167 [Journal]
   
4. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
   Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:2, pp:168-191 [Journal]
   
5. Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall
   Efficient spatio-temporal data mining with GenSpace graphs. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:2, pp:192-214 [Journal]