Journals in DBLP

ACM Trans. Comput. Log.
2002, volume: 3, number: 4

1. Mario Bravetti, Roberto Gorrieri
   Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2002, v:3, n:4, pp:465-520 [Journal]
   
2. Robert Givan, David A. McAllester
   Polynomial-time computation via local inference relations. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2002, v:3, n:4, pp:521-541 [Journal]
   
3. Michael Kaminski, Guy Rey
   Revisiting quantification in autoepistemic logic. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2002, v:3, n:4, pp:542-561 [Journal]
   
4. Viviana Bono, Michele Bugliesi, Silvia Crafa
   Typed interpretations of extensible objects. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2002, v:3, n:4, pp:562-603 [Journal]
   
5. Randal E. Bryant, Miroslav N. Velev
   Boolean satisfiability with transitivity constraints. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2002, v:3, n:4, pp:604-627 [Journal]