EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Organisation

21865 Reinterpreting Compression in Infinitary Rewriting

Home Policy Brochure Browse Search User Area Contact Help

Ketema, J. (2012) Reinterpreting Compression in Infinitary Rewriting. In: Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), 30 May - 01 Jun 2012, Nagoya, Japan. pp. 209-224. Leibniz International Proceedings in Informatics (LIPIcs) 15. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-38-5

Full text available as:

PDF

398 Kb

Official URL: http://dx.doi.org/10.4230/LIPIcs.RTA.2012.209

Abstract

Departing from a computational interpretation of compression in infinitary rewriting, we view compression as a degenerate case of standardisation. The change in perspective comes about via two observations: (a) no compression property can be recovered for non-left-linear systems and (b) some standardisation procedures, as a ‘side-effect’, yield compressed reductions.

Item Type:	Conference or Workshop Paper (Full Paper, Talk)
Research Group:	EWI-FMT: Formal Methods and Tools
Research Program:	CTIT-DSN: Dependable Systems and Networks
Research Project:	INESS: INtegrated European Signalling System
Uncontrolled Keywords:	term rewriting, infinitary rewriting, compression, standardisation
ID Code:	21865
Status:	Published
Deposited On:	18 June 2012
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item