Inverse image analysis (1987)

by P Dybjer
Venue:In Proceedings of the 14th International Colloquium on Automata, Languages and Programming