Kerry Ojakian

List of publications from the DBLP Bibliography Server - FAQ

2008

5 EE Manuel Lameiras Campagnolo, Kerry Ojakian: The elementary computable functions over the real numbers: applying two new techniques. Arch. Math. Log. 46(7-8): 593-627 (2008)

4 EE Manuel Lameiras Campagnolo, Kerry Ojakian: Characterizing Computable Analysis with Differential Equations. Electr. Notes Theor. Comput. Sci. 221: 23-35 (2008)

2007

3 EE Manuel Lameiras Campagnolo, Kerry Ojakian: Using Approximation to Relate Computational Classes over the Reals. MCU 2007: 39-61

2 EE Manuel Lameiras Campagnolo, Kerry Ojakian: The Methods of Approximation and Lifting in Real Computation. Electr. Notes Theor. Comput. Sci. 167: 387-423 (2007)

2005

1 EE Kerry Ojakian: Upper and lower Ramsey bounds in bounded arithmetic. Ann. Pure Appl. Logic 135(1-3): 135-150 (2005)

2008
5	EE	Manuel Lameiras Campagnolo, Kerry Ojakian: The elementary computable functions over the real numbers: applying two new techniques. Arch. Math. Log. 46(7-8): 593-627 (2008)
4	EE	Manuel Lameiras Campagnolo, Kerry Ojakian: Characterizing Computable Analysis with Differential Equations. Electr. Notes Theor. Comput. Sci. 221: 23-35 (2008)
2007
3	EE	Manuel Lameiras Campagnolo, Kerry Ojakian: Using Approximation to Relate Computational Classes over the Reals. MCU 2007: 39-61
2	EE	Manuel Lameiras Campagnolo, Kerry Ojakian: The Methods of Approximation and Lifting in Real Computation. Electr. Notes Theor. Comput. Sci. 167: 387-423 (2007)
2005
1	EE	Kerry Ojakian: Upper and lower Ramsey bounds in bounded arithmetic. Ann. Pure Appl. Logic 135(1-3): 135-150 (2005)

Coauthor Index