Modular Properties of Conditional Term Rewriting Systems

@article{Middeldorp1993ModularPO,
  title={Modular Properties of Conditional Term Rewriting Systems},
  author={Aart Middeldorp},
  journal={Inf. Comput.},
  year={1993},
  volume={104},
  pages={110-158}
}
Highly Influential
This paper has highly influenced 17 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 214 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 83 extracted citations

Uncurrying for Termination and Complexity

Journal of Automated Reasoning • 2012
View 24 Excerpts
Highly Influenced

Termination of term rewriting: well-foundedness, totality

Maria da Concei
1998
View 7 Excerpts
Method Support
Highly Influenced

Modular properties of composable term rewriting systems

J. Symb. Comput. • 1994
View 28 Excerpts
Highly Influenced

Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently

Logical Methods in Computer Science • 2018
View 28 Excerpts
Method Support
Highly Influenced

Modular aspects of rewrite-based specifications

WADT • 1997
View 8 Excerpts
Highly Influenced

On the Modularity of Normal Forms in Rewriting

J. Symb. Comput. • 1996
View 5 Excerpts
Highly Influenced

Generalized sufficient conditions for modular termination of rewriting

Applicable Algebra in Engineering, Communication and Computing • 1994
View 5 Excerpts
Highly Influenced

215 Citations

01020'91'97'04'11'18
Citations per Year
Semantic Scholar estimates that this publication has 215 citations based on the available data.

See our FAQ for additional information.