Results 251 to 260 of about 118,936 (260)

Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing

Notre Dame Journal of Formal Logic, 2004
Steffen van Bakel
exaly  

Cut-elimination for a logic with definitions and induction

Theoretical Computer Science, 2000
Dale Allen Miller
exaly  

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

Lecture Notes in Computer Science, 2017
Yury Savateev
exaly  

Generating facets for the cut polytope of a graph by triangular elimination

Mathematical Programming, 2006
David Avis, Tsuyoshi Ito
exaly  

Letrozole Cuts Breast Cancer Recurrences

Ca-A Cancer Journal for Clinicians, 2004
exaly  

TNF-alpha elimination with high cut-off haemofilters: a feasible clinical modality for septic patients?

Nephrology Dialysis Transplantation, 2003
Michael Haase, Stanislao Morgera, H Gohl
exaly  

Strongly Normalising Cut-Elimination with Strict Intersection Types

Electronic Notes in Theoretical Computer Science, 2003
Steffen van Bakel
exaly  

Access Suspended

Notre Dame Journal of Formal Logic, 2005
exaly  

Normalization and cut elimination

2014
openaire   +1 more source

A cut-elimination theorem

1972
openaire   +1 more source