Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 64 (2014): Programming and Computer Languages 2013
Vol. 64 (2014): Programming and Computer Languages 2013
DOI:
https://doi.org/10.14279/tuj.eceasst.64
Published:
2015-04-03
Articles
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
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
Preface
Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013)
Lars-Åke Fredlund
PDF
Information
For Readers
For Authors
For Librarians
Usage Statistics Information
We log anonymous usage statistics. Please read the
privacy information
for details.