Results 271 to 280 of about 772,601 (287)

Sufficient conditions for cut elimination with complexity analysis

Annals of Pure and Applied Logic, 2007
João Rasga
exaly  

Cut Elimination in ε‐Calculi

Mathematical Logic Quarterly, 1982
openaire   +1 more source

Interpolants, cut elimination and flow graphs for the propositional calculus

Annals of Pure and Applied Logic, 1997
Alessandra Carbone
exaly  

Cut-elimination for a logic with definitions and induction

Theoretical Computer Science, 2000
Dale Miller
exaly  

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

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

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

Mathematical Programming, 2006
David Avis, Tsuyoshi Itô, Avis David
exaly  

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

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

Strongly Normalising Cut-Elimination with Strict Intersection Types

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

Effective Cut-elimination for a Fragment of Modal mu-calculus

Studia Logica, 2012
Grigori Mints, Mints Grigori
exaly  

The Role of Quantifier Alternations in Cut Elimination

Notre Dame Journal of Formal Logic, 2005
exaly