Number of items: 2.
Kahrs, Stefan
(2010)
Infinitary Rewriting: Foundations Revisited.
In: Lynch, Christopher, ed.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications.
LIPIcs
.
Schloss Dagstuhl, Dagstuhl, Germany, pp. 182-196.
ISBN 978-3-939897-18-7.
(doi:10.4230/LIPIcs.RTA.2010.161)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:30652)
|
|
This list was generated on Thu Dec 26 01:23:17 2024 GMT.