Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Oscar Palomar
Reusing Cached Schedules in an Out-Of-Order Processor With In-Order Issue Logic
Related publications
HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Logic
Second-Order Fixed-Ratio Schedules
Psychonomic Science
Blocked Clauses in First-Order Logic
Geometrisation of First-Order Logic
Bulletin of Symbolic Logic
Philosophy
Logic
First-Order Dynamic Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Task Superscalar: An Out-Of-Order Task Pipeline
Cut-Eliminability in Second Order Logic Calculus
Annals of the Japan Association for Philosophy of Science
A Short Tutorial on Order-Invariant First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
