home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Electronic Notes in Theoretical Computer Science
, Volume 282
Volume 282, May 2012
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/entcs/ArenasG12
ask others
Google
Google Scholar
MS Academic Search
PubZone
Puri Arenas
,
Víctor M. Gulías
:
Preface.
1-2
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/entcs/Almendros-JimenezLM12
ask others
Google
Google Scholar
MS Academic Search
PubZone
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 @ doi.org
export record as
BibTeX
XML
dblp key:
journals/entcs/Almendros-JimenezCGS12
ask others
Google
Google Scholar
MS Academic Search
PubZone
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 @ doi.org
export record as
BibTeX
XML
dblp key:
journals/entcs/Fernandez-SorianoMH12
ask others
Google
Google Scholar
MS Academic Search
PubZone
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 @ doi.org
export record as
BibTeX
XML
dblp key:
journals/entcs/InsaS12
ask others
Google
Google Scholar
MS Academic Search
PubZone
David Insa
,
Josep Silva
:
Implementation of an Optimal Strategy for Algorithmic Debugging.
47-60
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/entcs/PitaR12
ask others
Google
Google Scholar
MS Academic Search
PubZone
Isabel Pita
,
Adrián Riesco
:
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications.
61-71
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/entcs/Saenz-Perez12
ask others
Google
Google Scholar
MS Academic Search
PubZone
Fernando Sáenz-Pérez
:
Outer Joins in a Deductive Database System.
73-88