Homeomorphic Embedding for Online Termination of Symbolic Methods (2002)

by M Leuschel
Venue:In The Essence of Computation, Complexity, Analysis, Transformation. Essays