Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert Cartwright
Recursive Programs as Definitions in First-Order Logic
SIAM Journal on Computing
Mathematics
Computer Science
A First-Class Approach to Genericity
ACM SIGPLAN Notices
Related publications
Pac-Learning Recursive Logic Programs: Efficient Algorithms
Journal of Artificial Intelligence Research
Artificial Intelligence
Pac-Learning Recursive Logic Programs: Negative Results
Journal of Artificial Intelligence Research
Artificial Intelligence
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
First-Order Dynamic Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning First-Order Definitions of Functions
Journal of Artificial Intelligence Research
Artificial Intelligence
Blocked Clauses in First-Order Logic
Geometrisation of First-Order Logic
Bulletin of Symbolic Logic
Philosophy
Logic
Semigroups Underlying First-Order Logic
Memoirs of the American Mathematical Society
Mathematics
Applied Mathematics
CIFOL: Case-Intensional First Order Logic
Journal of Philosophical Logic
Philosophy
