swMATH7613MaRDI QIDQ19639FDOQ19639
Author name not available (Why is that?)
Official website: http://www-ps.informatik.uni-kiel.de/kics2/
Cited In (20)
- Transforming Boolean equalities into constraints
- From Logic to Functional Logic Programs
- Compiling a functional logic language: \textit{The Fair Scheme}
- Rnamotif
- Curry
- FACTORIE
- EasyCheck
- TOY
- PAKCS
- RNAforester
- Purely functional lazy non-deterministic programming
- CHR.js
- FlatCurry
- nofib
- PFLP
- Locomotif
- 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
