1999 | ||
---|---|---|
2 | EE | Mario Chiari, Jan Krajícek: Lifting independence results in bounded arithmetic. Arch. Math. Log. 38(2): 123-138 (1999) |
1998 | ||
1 | Mario Chiari, Jan Krajícek: Witnessing Functions in Bounded Arithmetic and Search Problems. J. Symb. Log. 63(3): 1095-1115 (1998) |
1 | Jan Krajícek | [1] [2] |