|
Journals in DBLP
- Yonit Kesten, Amir Pnueli
Complete Proof System for QPTL. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:701-745 [Journal]
- Birgit Elbl
Lazy List Comprehension in Logic Programming. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:747-771 [Journal]
- Sébastien Konieczny, Ramón Pino Pérez
Merging Information Under Constraints: A Logical Framework. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:773-808 [Journal]
- Holger Sturm, Frank Wolter
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:809-838 [Journal]
- Arkadi Estrin, Michael Kaminski
The Expressive Power of Temporal Logic of Actions. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:839-859 [Journal]
- Stéphane Demri, Rajeev Goré
Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:861-884 [Journal]
- Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
Tractability Results in the Block Algebra. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:885-909 [Journal]
|