SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators

Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir. SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. In Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy R. Nawrocki, Harald Sack, editors, SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings. Volume 7741 of Lecture Notes in Computer Science, pages 108-120, Springer, 2013. [doi]

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Eugen-Ioan Goriac

This author has not been identified. Look up 'Eugen-Ioan Goriac' in Google

Anna Ingólfsdóttir

This author has not been identified. It may be one of the following persons: Look up 'Anna Ingólfsdóttir' in Google