Leftmost Outermost Revisited

Leftmost Outermost Revisited

TitleLeftmost Outermost Revisited
Publication TypeConference Paper
Year of Publication2015
AuthorsHirokawa N, Middeldorp A, Moser G
EditorFernández M
Conference Name26th International Conference on Rewriting Techniques and Applications (RTA 2015)
PublisherSchloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Conference LocationDagstuhl, Germany
ISBN Number978-3-939897-85-9
URLhttp://drops.dagstuhl.de/opus/volltexte/2015/5198
DOI10.4230/LIPIcs.RTA.2015.209
Undefined