Salvador Lucas. Redundant arguments in infinitary rewriting. In María Alpuente, editor, 9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000. pages 340-343, 2000.
@inproceedings{Lucas00a,
title = {Redundant arguments in infinitary rewriting},
author = {Salvador Lucas},
year = {2000},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Lucas00a},
cites = {0},
citedby = {0},
pages = {340-343},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000},
editor = {María Alpuente},
}