default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th 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
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.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
