Journals in DBLP

Theor. Comput. Sci.
2004, volume: 323, number: 1-3

1. Alan Jeffrey, Julian Rathke
   A theory of bisimulation for a fragment of concurrent ML with local names. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:1-48 [Journal]
   
2. Christophe Raffalli
   Getting results from programs extracted from classical proofs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:49-70 [Journal]
   
3. Serenella Cerrito, Delia Kesner
   Pattern matching as cut elimination. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:71-127 [Journal]
   
4. Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna
   Domain and event structure semantics for Petri nets with read and inhibitor arcs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:129-189 [Journal]
   
5. Robert M. Hierons, Mark Harman
   Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:191-233 [Journal]
   
6. Timothy Porter
   Interpreted systems and Kripke models for multiagent systems from a categorical perspective. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:235-266 [Journal]
   
7. Nicolas Peltier
   The first order theory of primal grammars is decidable. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:267-320 [Journal]
   
8. Guo-Qiang Zhang, William C. Rounds
   Reasoning with power defaults. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:321-350 [Journal]
   
9. Christophe Dehlinger, Jean-François Dufourd
   Formalizing generalized maps in Coq. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:351-397 [Journal]
   
10. Christophe Dehlinger, Jean-François Dufourd
    Formalizing the trading theorem in Coq. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:399-442 [Journal]
    
11. Pascal Urso, Emmanuel Kounalis
    Sound generalizations in mathematical induction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:443-471 [Journal]
    
12. Christian Urban, Andrew M. Pitts, Murdoch Gabbay
    Nominal unification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:473-497 [Journal]