scientific article; zbMATH DE number 7455733
From MaRDI portal
Publication:5020992
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10254
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- The universal resolving algorithm and its correctness: Inverse computation in a functional language
- CurryCheck: checking properties of Curry programs
- An Universal Resolving Algorithm for Inverse Computation of Lazy Languages
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
- Automatic Partial Inversion of Inductively Sequential Functions
- An approach to declarative programming based on a rewriting logic
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
- Declarative Programming with Function Patterns
- Functional and Logic Programming
- Term Rewriting and Applications
- Equivalence Checking of Non-deterministic Operations
This page was built for publication:
