Logical Definability on Infinite Traces

Werner Ebinger, Anca Muscholl. Logical Definability on Infinite Traces. Theoretical Computer Science, 154(1):67-84, 1996. [doi]

Abstract

Abstract is missing.