Iterated Contraction Based on Indistinguishability

Konstantinos Georgatos. Iterated Contraction Based on Indistinguishability. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, pages 194-205, Springer, 2013. [doi]

Abstract

Abstract is missing.