"Transductions Computed by PC-Systems of Monotone Deterministic Restarting ..."

Norbert Hundeshagen, Friedrich Otto, Marcel Vollweiler (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics