scientific article; zbMATH DE number 7455733
From MaRDI portal
Publication:5020992
Authors: Finn Teegen 
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10254
Title of this publication is not available (Why is that?)
Cites Work
- Implementing a library for probabilistic programming using non-strict non-determinism
- Functional and Logic Programming
- An universal resolving algorithm for inverse computation of lazy languages
- The universal resolving algorithm and its correctness: Inverse computation in a functional language
- Term Rewriting and Applications
- An approach to declarative programming based on a rewriting logic
- Declarative Programming with Function Patterns
- Automatic Partial Inversion of Inductively Sequential Functions
- CurryCheck: checking properties of Curry programs
- Title not available (Why is that?)
- Equivalence Checking of Non-deterministic Operations
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020992)
