Jake Pardo

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Computer Assisted Learning

Inductive Logic Programming

Top Venues

Arch. Math. Log.

Publications

Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama
Combinatorial principles equivalent to weak induction. Comput. 9 (3-4) (2020)
Caleb Davis, Jeffry L. Hirst, Jake Pardo, Tim Ransom
Reverse mathematics and colorings of hypergraphs. Arch. Math. Log. 58 (5-6) (2019)