Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Glen R. Cooper
On Complexity of Complete First-Order Theories
Mathematical Logic Quarterly
Logic
Related publications
Complexity of Existential Positive First-Order Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Non-Computable Models of Certain First Order Theories
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
ACM SIGPLAN Notices
Computer Science
Relating First-Order Set Theories and Elementary Toposes
Bulletin of Symbolic Logic
Philosophy
Logic
On Ambitious Higher-Order Theories of Consciousness
Philosophical Psychology
Philosophy
Applied Psychology
The Ground-Negative Fragment of First-Order Logic Is -Complete
Journal of Symbolic Logic
Philosophy
Logic
Complexity Results for First-Order Two-Variable Logic With Counting
SIAM Journal on Computing
Mathematics
Computer Science
On the Oracle Complexity of First-Order and Derivative-Free Algorithms for Smooth Nonconvex Minimization
SIAM Journal on Optimization
Theoretical Computer Science
Software
Denumerable Models of Complete Theories
