
Journals in DBLP
 Mark Reynolds, Abdul Sattar
Editors' introduction. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:2, pp:117118 [Journal]
 Philippe Balbiani, JeanFranç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:119140 [Journal]
 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:141167 [Journal]
 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:168191 [Journal]
 Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall
Efficient spatiotemporal data mining with GenSpace graphs. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:2, pp:192214 [Journal]
