Deductive Program Synthesis and Markov's Principle

Andrei Voronkov, Lothar Budach (Editor), Rais Gatic Bakharajev (Editor), Oleg Borisovic Lipanov (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this