No label defined (Q5013811)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7438155

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

Statements

scholarly article

0 references

0 references

Jacob Johannsen

0 references

0 references

publication date

2 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1505.07162

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2014.2

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

Normalization by leftmost innermost rewriting

0 references

Evaluation strategies for functional logic programming

0 references

Programming with narrowing: a tutorial

0 references

On the correctness of pull-tabbing

0 references

Lazy Context Cloning for Non-Deterministic Graph Rewriting

0 references

Overlapping Rules and Logic Variables in Functional Logic Programs

0 references

0 references

0 references

An approach to declarative programming based on a rewriting logic

0 references

The integration of functions into logic programming: From theory to practice

0 references

Functional Logic Programming: From Theory to Curry

0 references

Strongly sequential and inductively sequential term rewriting systems

0 references

Rewriting and narrowing for constructor systems with call-time choice semantics

0 references

Computing in systems described by equations

0 references

Deforestation: Transforming programs to eliminate trees

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5013811

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