1. Home
  2. Science
  3. Mathematics
  4. Deep Inference

Science · Mathematics

Deep Inference

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Deep Inference

Deep Inference- The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference.

Tags

Foundations

Where it sits

Science Mathematics

More in Mathematics

See all →