Discover open access scientific publications

Search, annotate, share and cite publications

Publications by W Penczek

A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems

DIMACS Series in Discrete Mathematics and Theoretical Computer Science

English