Searching for "Cut Elimination inside a Deep Inference System for Classical Predicate Logic." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
Cut Elimination inside a Deep Inference System for Classical Predicate Logic
- …Cut Elimination inside a Deep Inference System for Classical Predicate Logic Kai Brünnler Institut…
- Cited by 9 (2 self) – Add To MetaCart
Showing 1 through 1.
