Random Descent
From MaRDI portal
Publication:5432348
DOI10.1007/978-3-540-73449-9_24zbMath1203.68082MaRDI QIDQ5432348
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
68Q42: Grammars and rewriting systems
Related Items
Uncurrying for termination and complexity, Modularity in term rewriting revisited, Minimality in a Linear Calculus with Iteration, Confluence by Decreasing Diagrams