scientific article; zbMATH DE number 6261536

DOI10.4230/LIPIcs.ICLP.2012.154zbMath1281.68162MaRDI QIDQ5398055

Fernando Pérez Morente, Marcos Miguel García Toledo, Rafael del Vado Vírseda

Publication date: 25 February 2014

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

zbMATH Keywords

constraint logic programmingconcurrent logic programmingfunctional logic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)

This page was built for publication: