Volume 64: Programming and Computer Languages 2013

DOI: http://dx.doi.org/10.14279/tuj.eceasst.64

Table of Contents

Preface

Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013)
Lars-Åke Fredlund
PDF

Articles

Towards Bridging the Expressiveness Gap Between \linebreak Relational and Deductive Databases
Fernando Sáenz-Pérez
PDF
Improving the Search Capabilities of a CFLP(FD) System
Fernando Sáenz-Pérez, Castiñeiras Ignacio
PDF
Analyzing Fuzzy Logic Computations with Fuzzy XPath
Jesus M. Almendros-Jimenez, Alejandro Luna, Gines Moreno, Carlos Vazquez
PDF
On the decidability of model checking LTL fragments in monotonic extensions of Petri nets
María Martos-Salgado, Fernando Rosa-Velardo
PDF
Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT
Miquel Bofill, Gines Moreno, Carlos Vazquez, Mateu Villaret
PDF
R-SQL: An SQL Database System with Extended Recursion
Fernando Sáenz-Pérez, Susana Nieva, Jaime Sanchez-Hernandez, Gabriel Aranda
PDF