Random Descent

DOI10.1007/978-3-540-73449-9_24zbMath1203.68082OpenAlexW4246269365MaRDI QIDQ5432348

Vincent van Oostrom

Publication date: 2 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73449-9_24

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (7)

Uncurrying for termination and complexity ⋮ Modularity in term rewriting revisited ⋮ Confluence by Decreasing Diagrams ⋮ On randomised strategies in the \(\lambda \)-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Minimality in a Linear Calculus with Iteration

This page was built for publication: Random Descent