
Journals in DBLP
 Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
A sequent calculus and a theorem prover for standard conditional logics. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:4, pp: [Journal]
 Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:4, pp: [Journal]
 Edward Hung, Lise Getoor, V. S. Subrahmanian
Probabilistic interval XML. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:4, pp: [Journal]
 Renate A. Schmidt, Ullrich Hustadt
The axiomatic translation principle for modal logic. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:4, pp: [Journal]
 Chiu Wo Choi, Jimmy HoMan Lee, Peter J. Stuckey
Removing propagation redundant constraints in redundant modeling. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:4, pp: [Journal]
 Arnaud Durand, Etienne Grandjean
Firstorder queries on structures of bounded degree are computable with constant delay. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:4, pp: [Journal]
