Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 177, number:

1. Francisco Javier López-Fraguas
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:1-3 [Journal]
   
2. Santiago Escobar, José Meseguer, Prasanna Thati
   Narrowing and Rewriting Logic: from Foundations to Applications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:5-33 [Journal]
   
3. Peter Padawitz
   Expander2: Program Verification Between Interaction and Automation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:35-57 [Journal]
   
4. Michael Hanus
   Reporting Failures in Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:59-73 [Journal]
   
5. Rafael Caballero, Christian Hermanns, Herbert Kuchen
   Algorithmic Debugging of Java Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:75-89 [Journal]
   
6. Bernd Braßel
   A Framework for Interpreting Traces of Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:91-106 [Journal]
   
7. Parissa H. Sadeghi, Frank Huch
   The Interactive Curry Observation Debugger iCODE. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:107-122 [Journal]
   
8. Diego Cheda, Josep Silva, Germán Vidal
   Static Slicing of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:123-136 [Journal]
   
9. Claudio Ochoa, Germán Puebla
   A Study on the Practicality of Poly-Controlled Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:137-151 [Journal]
   
10. Rafael Caballero, Yolanda García-Ruiz
    Implementing Dynamic-Cut in TOY. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:153-168 [Journal]
    
11. Rudolf Berghammer, Sebastian Fischer
    Implementing Relational Specifications in a Constraint Functional Logic Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:169-183 [Journal]
    
12. Sebastian Fischer
    Lazy Database Access with Persistent Predicates. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:185-200 [Journal]
    
13. Clara Segura, Carmen Torrano
    Using Template Haskell for Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:201-217 [Journal]
    
14. Vítor Nogueira, Salvador Abreu
    Temporal Contextual Logic Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:219-233 [Journal]
    
15. R. González-del-Campo, Fernando Sáenz-Pérez
    Programmed Search in a Timetabling Problem over Finite Domains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:253-267 [Journal]
    
16. Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza
    A Proposal for Disequality Constraints in Curry. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:269-285 [Journal]