Skip to content
<title>Channels - The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus
Search for more channels:
Similar Items: The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus
Channel Options
View Record
Explore related channels
Quick Look
The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
Quick Look
A Ghost at $omega_1$
Quick Look
Privacy by typing in the $pi$-calculus
Quick Look
Resource Usage Analysis for the Pi-Calculus
Quick Look
Local Homophily on Bicolored Graphs is $mathbf{P}$-complete
Quick Look
Formalising the pi-calculus using nominal logic
Quick Look
Contextual equivalence for higher-order pi-calculus revisited
Quick Look
Completeness of the ZX-Calculus
Quick Look
Type Reconstruction for the Linear pi-Calculus with Composite Regular Types
Quick Look
Local Homophily on Bicolored Graphs is $mathbf{P}$-complete
Quick Look
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Quick Look
$aleph_1$ and the modal $mu$-calculus
Quick Look
Consistency and Completeness of Rewriting in the Calculus of Constructions
Quick Look
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
Quick Look
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
Quick Look
Ambiguity of {omega}-Languages of Turing Machines
Quick Look
Good-for-games $omega$-Pushdown Automata
Quick Look
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
Quick Look
A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics
Quick Look
Algorithms for Omega-Regular Games with Imperfect Information
Quick Look
Families of DFAs as Acceptors of $omega$-Regular Languages
Quick Look
Weighted omega-Restricted One Counter Automata
Quick Look
An $omega$-Algebra for Real-Time Energy Problems
Quick Look
On Free $omega$-Continuous and Regular Ordered Algebras
Load more items
View Record
Prev
Explore related channels
Next
