Context rewriting (Q5881173)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7661536

Language	Label	Description	Also known as
English	Context rewriting	scientific article; zbMATH DE number 7661536

Statements

scholarly article

0 references

Context rewriting (English)

0 references

0 references

Conditional Term Rewriting Systems

0 references

publication date

9 March 2023

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-56393-8_2

0 references

The lambda calculus. Its syntax and semantics. Rev. ed.

0 references

0 references

An Abstract form of the church-rosser theorem. I

0 references

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

0 references

0 references

0 references

Sequential evaluation strategies for parallel-or and related reduction systems

0 references

0 references

0 references

A logic programming language with lambda-abstraction, function variables, and simple unification

0 references

0 references

An abstract formulation for rewrite systems

0 references

0 references

Higher-order unification revisited: Complete sets of transformations

0 references

On the Church-Rosser property for the direct sum of term rewriting systems

0 references

Identifiers

10.1007/3-540-56393-8_2

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5881173

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