| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Framework for Timed Concurrent Constraint Programming with External Functions
|
Alpuente, M.
|
|
2007
|
188 |
C |
p. 143-155
13 p.
|
artikel
|
| 2 |
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
|
Estévez-Martín, S.
|
|
2007
|
188 |
C |
p. 37-51
15 p.
|
artikel
|
| 3 |
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
|
Julián, Pascual
|
|
2007
|
188 |
C |
p. 77-90
14 p.
|
artikel
|
| 4 |
Equivalence of Two Formal Semantics for Functional Logic Programs
|
López-Fraguas, F.J.
|
|
2007
|
188 |
C |
p. 117-142
26 p.
|
artikel
|
| 5 |
Extra Variables Can Be Eliminated from Functional Logic Programs
|
de Dios Castro, Javier
|
|
2007
|
188 |
C |
p. 3-19
17 p.
|
artikel
|
| 6 |
Formal Properties of Needed Narrowing with Similarity Relations
|
Moreno, Ginés
|
|
2007
|
188 |
C |
p. 21-35
15 p.
|
artikel
|
| 7 |
Formal Sequentialization of Distributed Systems via Program Rewriting
|
Bertran, Miquel
|
|
2007
|
188 |
C |
p. 53-75
23 p.
|
artikel
|
| 8 |
Improving the Context-sensitive Dependency Graph
|
Alarcón, Beatriz
|
|
2007
|
188 |
C |
p. 91-103
13 p.
|
artikel
|
| 9 |
Preface
|
Lucio, Paqui
|
|
2007
|
188 |
C |
p. 1-2
2 p.
|
artikel
|
| 10 |
Proving Termination of Context-Sensitive Rewriting with MU-TERM
|
Alarcón, Beatriz
|
|
2007
|
188 |
C |
p. 105-115
11 p.
|
artikel
|
Tijdschrift beschrijving