Lazy rewriting and eager machinery
type: Item
instance of: scholarly article
title: Lazy rewriting and eager machinery
zbMATH Open document ID: 1503.68121
DOI: 10.1007/3-540-59200-8_54
author: J. F. Th. Kamperman
author: H. R. J. Walters
published in: Rewriting Techniques and Applications
publication date: 2022-12-09T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 7631247
describes a project that uses: OBJ3
MaRDI profile type: MaRDI publication profile
full work available at URL: 3-540-59200-8 54
OpenAlex ID: W1553079342
cites work: Q4281611
cites work: Q4311530
cites work: Q4385532
cites work: Q3819985
cites work: Thunks
cites work: Q5287535
cites work: Q3875320
cites work: Computing in systems described by equations
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Q4023829
Recommended article: Termination of lazy rewriting revisited
Recommended article: Lazy rewriting and context-sensitive rewriting
Recommended article: Q4287481
Recommended article: Comparison of priority rules in pattern matching and term rewriting
Recommended article: Lazy context cloning for non-deterministic graph rewriting
description: scientific article; zbMATH DE number 7631247