Login / Signup

Well-behaved principles alternative to bounded induction.

Zofia AdamowiczLeszek Aleksander Kolodziejczyk
Published in: Theor. Comput. Sci. (2004)
Keyphrases