KiCS2
From MaRDI portal
Software:19639
swMATH7613MaRDI QIDQ19639FDOQ19639
Author name not available (Why is that?)
Cited In (8)
- Transforming Boolean equalities into constraints
- From Logic to Functional Logic Programs
- Compiling a functional logic language: \textit{The Fair Scheme}
- Purely functional lazy non-deterministic programming
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems
- From Boolean equalities to constraints
- Default rules for Curry
- Implementing a library for probabilistic programming using non-strict non-determinism
This page was built for software: KiCS2
