Comments on: Model Transformations in Decidability Proofs for Monadic Theories

Comments on: Model Transformations in Decidability Proofs for Monadic Theories http://www.algosyn.rwth-aachen.de/wp-publications/tho08d/ hourly 1 http://wordpress.org/?v=3.6.1