Electronic Notes in Theoretical Computer Science, Volume 282

Volume 282, May 2012

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/ArenasG12
- ask others
Puri Arenas, Víctor M. Gulías: Preface. 1-2
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Almendros-JimenezLM12
- ask others
Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno: Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. 3-18
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Almendros-JimenezCGS12
- ask others
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: XPath Query Processing in a Functional-Logic Language. 19-34
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Fernandez-SorianoMH12
- ask others
Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva: A Tool for the Integration of Constraint Solving in Spreadsheets. 35-45
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/InsaS12
- ask others
David Insa, Josep Silva: Implementation of an Optimal Strategy for Algorithmic Debugging. 47-60
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/PitaR12
- ask others
Isabel Pita, Adrián Riesco: A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. 61-71
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Saenz-Perez12
- ask others
Fernando Sáenz-Pérez: Outer Joins in a Deductive Database System. 73-88