Traces and logic

W. Penczek, R. Kuiper

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageEnglish
Title of host publicationThe Book of Traces
EditorsV. Diekert, G. Rozenberg
Place of PublicationSingapore
PublisherWorld Scientific
Pages307-390
ISBN (Print)98-1-022058-8
Publication statusPublished - 1995

Cite this