TeaBag
From MaRDI portal
Software:20975
swMATH8980MaRDI QIDQ20975FDOQ20975
Author name not available (Why is that?)
Cited In (6)
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- An integrated framework for the diagnosis and correction of rule-based programs
- A Program Transformation for Tracing Functional Logic Computations
- A framework for interpreting traces of functional logic computations
- Functional Logic Programming: From Theory to Curry
- A Virtual Machine for Functional Logic Computations
This page was built for software: TeaBag
