![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
12th WFLP 2003: Boulder, CO, USA
- Lubos Brim, Orna Grumberg:
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 86(3), Elsevier 2003 - Jan Maluszynski:
On integrating rules into the Semantic Web. 1-11 - Michaël Rusinowitch:
Automated analysis of security protocols. 12-15 - Andrew P. Tolmach, Sergio Antoy:
A monadic semantics for core Curry. 16-34 - Michael Hanus
, Klaus Höppner, Frank Huch:
Towards translating embedded Curry to C. 35-51 - Naoki Nishida, Masahiko Sakai
, Toshiki Sakabe:
Narrowing-based simulation of term rewriting systems with extra variables. 52-69 - Alcino Cunha
:
Automatic visualization of recursion trees: a case study on generic programming. 70-84 - Demis Ballis, Moreno Falaschi
, César Ferri
, José Hernández-Orallo, M. José Ramírez-Quintana
:
Cost-sensitive diagnosis of declarative programs. 85-104 - María Alpuente
, Demis Ballis, Santiago Escobar
, Moreno Falaschi
, Salvador Lucas
:
Abstract correction of first-order functional programs. 105-122 - Francisco Javier López-Fraguas
, Jaime Sánchez-Hernández
:
Failure and equality in functional logic programming. 123-143 - Ginés Moreno:
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations. 144-167 - Jesús Manuel Almendros-Jiménez
, Antonio Becerra-Terón
:
A safe relational calculus for functional logic deductive databases. 168-204 - Germán Vidal:
Preface. 205-206
![](https://dblp.dagstuhl.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.