Q5020992 (Q5020992): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 16:36, 27 July 2024

scientific article; zbMATH DE number 7455733

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7455733

Statements

scholarly article

0 references

0 references

publication date

11 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2009.10254

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.39

0 references

describes a project that uses

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

The universal resolving algorithm and its correctness: Inverse computation in a functional language

0 references

An Universal Resolving Algorithm for Inverse Computation of Lazy Languages

0 references

Automatic Partial Inversion of Inductively Sequential Functions

0 references

Declarative Programming with Function Patterns

0 references

Equivalence Checking of Non-deterministic Operations

0 references

A Relation Algebraic Semantics for a Lazy Functional Logic Language

0 references

Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism

0 references

Functional and Logic Programming

0 references

An approach to declarative programming based on a rewriting logic

0 references

CurryCheck: checking properties of Curry programs

0 references

Term Rewriting and Applications

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5020992

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5020992&oldid=36756180"