Skip to content
<title>Channels - Towards a Minimal Stabilizer ZX-calculus :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Towards a Minimal Stabilizer ZX-calculus
Search for more channels:
Similar Items: Towards a Minimal Stabilizer ZX-calculus
Channel Options
View Record
Explore related channels
Quick Look
Completeness of the ZX-Calculus
Quick Look
Addition and Differentiation of ZX-diagrams
Quick Look
Stabilizing Sharpness-Aware Minimization Through A Simple Renormalization Strategy
Quick Look
A calculus for costed computations
Quick Look
A Concurrent Pattern Calculus
Quick Look
The Safe Lambda Calculus
Quick Look
The Many-Worlds Calculus
Quick Look
A strong call-by-need calculus
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
Privacy by typing in the $pi$-calculus
Quick Look
Lineal: A linear-algebraic Lambda-calculus
Quick Look
A diagrammatic calculus of fermionic quantum circuits
Quick Look
A Calculus for Scoped Effects & Handlers
Quick Look
Resource Usage Analysis for the Pi-Calculus
Quick Look
Algebraic Pattern Matching in Join Calculus
Quick Look
Consistency and Completeness of Rewriting in the Calculus of Constructions
Quick Look
Semantics of Typed Lambda-Calculus with Constructors
Quick Look
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Quick Look
On Constructor Rewrite Systems and the Lambda Calculus
Quick Look
The Computational Complexity of Propositional Cirquent Calculus
Quick Look
Intersection Types for the lambda-mu Calculus
Quick Look
$aleph_1$ and the modal $mu$-calculus
Quick Look
Scalar and Vectorial mu-calculus with Atoms
Quick Look
Addressing Machines as models of lambda-calculus
Load more items
View Record
Prev
Explore related channels
Next
