A Problem-Reduction Approach to Proving Simulation Between Programs
- Alexander Birman
- William H. Joyner
- 1976
- IEEE TSE
Publications
Date
Featured collections
Popular topics
12 results for Alexander Birman
Parsing algorithms with backtrack
- Alexander Birman
- Jeffrey D. Ullman
- 1973
- Information and Control