共 50 条
- [2] Principles of inverse computation and the universal resolving algorithm Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2566 LNCS : 269 - 295
- [3] Principles of inverse computation and the universal resolving algorithm ESSENCE OF COMPUTATION: COMPLEXITY ANALYSIS, TRANSFORMATION, 2002, 2566 : 269 - 295
- [4] The universal resolving algorithm:: Inverse computation in a functional language MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 187 - 212
- [5] An Universal Resolving Algorithm for inverse computation of lazy languages PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 27 - +
- [7] Reverse Universal Resolving Algorithm and Inverse Driving JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 314 - 330