Traces and Logic

Wojciech Penczek, Ruurd Kuiper. Traces and Logic. In Volker Diekert, Grzegorz Rozenberg, editors, The Book of Traces. pages 307-390, World Scientific, 1995. [doi]

Abstract

Abstract is missing.