Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines (Extended Abstract).

Jerzy Tyszkiewicz

Browse the full MFCS paper archive.