Journals in DBLP

ACM Trans. Comput. Log.
2007, volume: 8, number: 4

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. Chiu Wo Choi, Jimmy Ho-Man 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]
   
6. Arnaud Durand, Etienne Grandjean
   First-order 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]