| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract Correction of First-Order Functional Programs
|
Alpuente, M.
|
|
2003
|
86 |
3 |
p. 105-122
18 p.
|
artikel
|
| 2 |
A Monadic Semantics for Core Curry 1 1 This work has been supported in part by the National Science Foundation under grants CCR-0110496 and CCR-0218224
|
Tolmach, Andrew
|
|
2003
|
86 |
3 |
p. 16-34
19 p.
|
artikel
|
| 3 |
A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations
|
Moreno, Ginés
|
|
2003
|
86 |
3 |
p. 144-167
24 p.
|
artikel
|
| 4 |
A Safe Relational Calculus for Functional Logic Deductive Databases 1 1 This work has been partially supported by the Spanish project of the Ministry of Science and Technology “INDALOG” TIC2002-03968.
|
Almendros-Jiménez, Jesús M.
|
|
2003
|
86 |
3 |
p. 168-204
37 p.
|
artikel
|
| 5 |
Automated Analysis of Security Protocols
|
Rusinowitch, Michael
|
|
2003
|
86 |
3 |
p. 12-15
4 p.
|
artikel
|
| 6 |
Automatic Visualization of Recursion Trees
|
Cunha, Alcino
|
|
2003
|
86 |
3 |
p. 70-84
15 p.
|
artikel
|
| 7 |
Cost-Sensitive Diagnosis of Declarative Programs
|
Ballis, D.
|
|
2003
|
86 |
3 |
p. 85-104
20 p.
|
artikel
|
| 8 |
Failure and Equality in Functional Logic Programming 1 1 Work partially supported by the Spanish project TIC2002-01167 ‘MELODIAS’
|
López-Fraguas, F.J.
|
|
2003
|
86 |
3 |
p. 123-143
21 p.
|
artikel
|
| 9 |
Narrowing-based simulation of term rewriting systems with extra variables and its Termination Proof
|
Nishida, Naoki
|
|
2003
|
86 |
3 |
p. 52-69
18 p.
|
artikel
|
| 10 |
On integrating rules into the Semantic Web
|
Maluszyński, Jan
|
|
2003
|
86 |
3 |
p. 1-11
11 p.
|
artikel
|
| 11 |
Preface
|
Vidal, Germán
|
|
2003
|
86 |
3 |
p. 205-206
2 p.
|
artikel
|
| 12 |
Towards Translating Embedded Curry to C 1 1 This work has been partially supported by the German Research Council (DFG) under grant Ha 2457/1-2 and by the DAAD/NSF under grant INT-9981317.
|
Hanus, Michael
|
|
2003
|
86 |
3 |
p. 35-51
17 p.
|
artikel
|
Tijdschrift beschrijving