Login / Signup
Christopher Oakden
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Multi Valued
Datalog Programs
Recursive Queries
Search Algorithm
Top Venues
LATA
</>
Publications
</>
Siddharth Bhaskar
,
Jane Chandlee
,
Adam Jardine
,
Christopher Oakden
Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions.
LATA
(2020)