Vol. 64 (2014): Programming and Computer Languages 2013

DOI: https://doi.org/10.14279/tuj.eceasst.64

Published: 2015-04-03

Articles

Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT

Miquel Bofill, Gines Moreno, Carlos Vazquez, Mateu Villaret
- PDF
Analyzing Fuzzy Logic Computations with Fuzzy XPath

Jesus Almendros-Jimenez, Alejandro Luna, Gines Moreno, Carlos Vazquez
- PDF
Towards Bridging the Expressiveness Gap Between \linebreak Relational and Deductive Databases

Fernando Sáenz-Pérez
- PDF
R-SQL: An SQL Database System with Extended Recursion

Fernando Sáenz-Pérez, Susana Nieva, Jaime Sanchez-Hernandez, Gabriel Aranda
- PDF
On the decidability of model checking LTL fragments in monotonic extensions of Petri nets

María Martos-Salgado, Fernando Rosa-Velardo
- PDF
Improving the Search Capabilities of a CFLP(FD) System

Fernando Sáenz-Pérez, Castiñeiras Ignacio
- PDF

Preface

Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013)

Lars-Åke Fredlund
- PDF