Skip to content
<title>Channels - Comparing hierarchies of total functionals :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Comparing hierarchies of total functionals
Search for more channels:
Similar Items: Comparing hierarchies of total functionals
Channel Options
View Record
Explore related channels
Quick Look
A rich hierarchy of functionals of finite types
Quick Look
Statman's Hierarchy Theorem
Quick Look
A Hierarchy of Nondeterminism
Quick Look
The recursion hierarchy for PCF is strict
Quick Look
The Wadge Hierarchy of Deterministic Tree Languages
Quick Look
On the Monadic Second-Order Transduction Hierarchy
Quick Look
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Quick Look
On the Mints Hierarchy in First-Order Intuitionistic Logic
Quick Look
A survey on difference hierarchies of regular languages
Quick Look
Ambiguity Hierarchy of Regular Infinite Tree Languages
Quick Look
On logical hierarchies within FO^2-definable languages
Quick Look
On the strictness of the quantifier structure hierarchy in first-order logic
Quick Look
Regular tree languages in low levels of the Wadge Hierarchy
Quick Look
HierarchyCraft: A Benchmark Builder for Hierarchical Reasoning
Quick Look
Total Representations
Quick Look
Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
Quick Look
Complexity Hierarchies and Higher-order Cons-free Term Rewriting
Quick Look
Capturing the polynomial hierarchy by second-order revised Krom logic
Quick Look
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Quick Look
Totality for Mixed Inductive and Coinductive Types
Quick Look
A Load-Buffer Semantics for Total Store Ordering
Quick Look
Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
Quick Look
Strict Hierarchy for Quantum Channel Certification to Unitary
Quick Look
A hierarchy of edge-weight symmetries in perfect matchings
Load more items
View Record
Prev
Explore related channels
Next
