scientific article; zbMATH DE number 1332654

zbMATH Open0924.68056MaRDI QIDQ4259975FDOQ4259975

Authors:

Publication date: 9 September 1999

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-03/A99-03.html

Title of this publication is not available (Why is that?)

Recommendations

• Publication:3490935
• Functional Logic Programming: From Theory to Curry
• A domain-theoretic approach to functional and logic programming
• On a Tighter Integration of Functional and Logic Programming
• scientific article; zbMATH DE number 986251

zbMATH Keywords

Escherdeclarative programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (9)

• Programming with narrowing: a tutorial
• Probabilistic modelling, inference and learning using logical theories
• Title not available (Why is that?)
• Operational semantics for declarative multi-paradigm languages
• Evaluation strategies for functional logic programming
• Probabilistic reasoning in a classical logic
• Functional logic programming in Maude
• A debugging scheme for functional logic programs
• Declarative debugging of functional logic programs

Uses Software

• ETPS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4259975)