Principles of inverse computation and the universal resolving algorithm (2002)

by S M Abramov, R Glück
Venue:The Essence of Computation: Complexity, Analysis, Transformation, volume 2566 of Lecture Notes in Computer Science