Coinductive Constraint Logic Programming

DOI10.1007/978-3-642-29822-6_20zbMath1354.68040OpenAlexW132118791MaRDI QIDQ2900266

Neda Saeedloei, Gopal Gupta

Publication date: 20 July 2012

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29822-6_20

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

A Logical Encoding of Timed $$\pi $$-Calculus ⋮ Kripke semantics for higher-order type theory applied to constraint logic programming languages

Uses Software

• Prolog

This page was built for publication: Coinductive Constraint Logic Programming