Skip to content
<title>Channels - Real Analytic Machines and Degrees :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Real Analytic Machines and Degrees
Search for more channels:
Similar Items: Real Analytic Machines and Degrees
Channel Options
View Record
Explore related channels
Quick Look
The degree structure of Weihrauch-reducibility
Quick Look
Bounded degree and planar spectra
Quick Look
On the algebraic structure of Weihrauch degrees
Quick Look
Instance reducibility and Weihrauch degrees
Quick Look
Degrees of Lookahead in Regular Infinite Games
Quick Look
Strong Turing Degrees for Additive BSS RAM's
Quick Look
Preservation and decomposition theorems for bounded degree structures
Quick Look
Game characterizations and lower cones in the Weihrauch degrees
Quick Look
First-order query evaluation on structures of bounded degree
Quick Look
Lower Bound on Weights of Large Degree Threshold Functions
Quick Look
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
Quick Look
Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
Quick Look
Successor-Invariant First-Order Logic on Classes of Bounded Degree
Quick Look
Random strings and tt-degrees of Turing complete C.E. sets
Quick Look
Enumerating Answers to First-Order Queries over Databases of Low Degree
Quick Look
Degree of Interference: A General Framework For Causal Inference Under Interference
Quick Look
A Real-Time Power-Saving Framework for Mobile Camera Applications Based on Machine Learning
Quick Look
VDoF-MPC: Variable Degrees-of-Freedom Whole-Body Model Predictive Control
Quick Look
An Analytic Propositional Proof System on Graphs
Quick Look
Talent: A Tabular Analytics and Learning Toolbox
Quick Look
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Quick Look
Combining decision procedures for the reals
Quick Look
Logic for exact real arithmetic
Quick Look
Policy-Bound, Verifier-Pluggable Smart Contract Framework for Auditable Healthcare Analytics
Load more items
View Record
Prev
Explore related channels
Next
