scientific article

zbMath1270.68061MaRDI QIDQ2844060

Francisco J. López Fraguas, Jaime Sánchez-Hernández

Publication date: 27 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806972

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A new generic scheme for functional logic programming with constraints

Uses Software

• TOY

Cites Work

• Negation and constraint logic programming
• Functional Logic Programming with Failure: A Set-Oriented View
• Theories of Programming Languages
• Logic programming and negation: A survey
• The integration of functions into logic programming: From theory to practice
• An approach to declarative programming based on a rewriting logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: