Results 221 to 230 of about 2,682,535 (254)

Methods of Cut-Elimination

2011
Alexander Leitsch, Matthias Baaz
openaire   +1 more source

Cut-elimination for Weak Grzegorczyk Logic Go

Studia Logica: An International Journal for Symbolic Logic, 2014
R. Goré, Revantha Ramanayake
semanticscholar   +1 more source

The fission yeast cut1+ gene regulates spindle pole body duplication and has homology to the budding yeast ESP1 gene

Cell, 1990
Tatsuya Hirano
exaly  

Fission yeast cut5+, required for S phase onset and M phase restraint, is identical to the radiation-damage repair gene rad4+

Cell, 1993
Yasushi Saka
exaly  

Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation

, 2014
Christian Urban
semanticscholar   +1 more source

Cut Elimination Resumed

2000
openaire   +1 more source

Primary structure and expression of a product from cut, a locus involved in specifying sensory organ identity in Drosophila

Nature, 1988
Yuh Nung Jan
exaly  

Recent developments in novel shelf life extension technologies of fresh-cut fruits and vegetables

Trends in Food Science and Technology, 2017
Liang, Min Zhang, Bhesh Bhandari
exaly  

Formalizing Cut Elimination of Coalgebraic Logics in Coq

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2013
H. Tews
semanticscholar   +1 more source

Cut here for differentiation

Nature Reviews Cancer, 2012
Nicola J Mccarthy
exaly