Journals in DBLP

Higher-Order and Symbolic Computation
2007, volume: 20, number: 1-2

1. Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:1-2 [Journal]
   
2. Iliano Cervesato, Mark-Oliver Stehr
   Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:3-35 [Journal]
   
3. Horatiu Cirstea, Germain Faure, Claude Kirchner
   A rho-calculus of explicit constraint application. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:37-72 [Journal]
   
4. Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
   A new generic scheme for functional logic programming with constraints. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:73-122 [Journal]
   
5. José Meseguer, Prasanna Thati
   Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:123-160 [Journal]
   
6. Peter Csaba Ölveczky, José Meseguer
   Semantics and pragmatics of Real-Time Maude. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:161-196 [Journal]