![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
6th PROLE 2006: Sitges, Barcelona, Spain
- Paqui Lucio, Fernando Orejas:
Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006. Electronic Notes in Theoretical Computer Science 188, Elsevier 2007 - Paqui Lucio
, Fernando Orejas
:
Preface. 1-2 - Javier de Dios Castro, Francisco Javier López-Fraguas
:
Extra Variables Can Be Eliminated from Functional Logic Programs. 3-19 - Ginés Moreno, Vicente Pascual:
Formal Properties of Needed Narrowing with Similarity Relations. 21-35 - Sonia Estévez Martín
, Antonio J. Fernández
, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez
, Rafael del Vado Vírseda:
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. 37-51 - Miquel Bertran, Francesc-Xavier Babot, August Climent:
Formal Sequentialization of Distributed Systems via Program Rewriting. 53-75 - Pascual Julián
, Ginés Moreno, Jaime Penabad:
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. 77-90 - Beatriz Alarcón, Raúl Gutiérrez
, Salvador Lucas
:
Improving the Context-sensitive Dependency Graph. 91-103 - Beatriz Alarcón, Raúl Gutiérrez
, José Iborra, Salvador Lucas
:
Proving Termination of Context-Sensitive Rewriting with MU-TERM. 105-115 - Francisco Javier López-Fraguas
, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
:
Equivalence of Two Formal Semantics for Functional Logic Programs. 117-142 - María Alpuente
, Bernhard Gramlich, Alicia Villanueva
:
A Framework for Timed Concurrent Constraint Programming with External Functions. 143-155
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.