Sergei A. Abramov

Russian Acad. Sci., Program Systems Inst.
http://www.botik.yaroslavl.su/~abram/
abram@botik.ru

Author, editor, or reviewer of:

• Principles of inverse computation and the universal resolving algorithm
• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• The universal resolving algorithm: Inverse computation in a functional language