Electronic Notes in Theoretical Computer Science, Volume 188

Volume 188, July 2007

• Paqui Lucio, Fernando Orejas:
  Preface. 1-2
  
• Javier de Dios Castro, Francisco Javier López-Fraguas:
  Extra Variables Can Be Eliminated from Functional Logic Programs. 3-19
  
• Ginés Moreno, Vicente Pascual:
  Formal Properties of Needed Narrowing with Similarity Relations. 21-35
  
• Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
  A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. 37-51
  
• Miquel Bertran, Francesc-Xavier Babot, August Climent:
  Formal Sequentialization of Distributed Systems via Program Rewriting. 53-75
  
• Pascual Julián, Ginés Moreno, Jaime Penabad:
  Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. 77-90
  
• Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas:
  Improving the Context-sensitive Dependency Graph. 91-103
  
• Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas:
  Proving Termination of Context-Sensitive Rewriting with MU-TERM. 105-115
  
• Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
  Equivalence of Two Formal Semantics for Functional Logic Programs. 117-142
  
• María Alpuente, Bernhard Gramlich, Alicia Villanueva:
  A Framework for Timed Concurrent Constraint Programming with External Functions. 143-155