Results 221 to 230 of about 2,682,535 (254)
Some of the next articles are maybe not open access.
Cut-elimination for Weak Grzegorczyk Logic Go
Studia Logica: An International Journal for Symbolic Logic, 2014R. Goré, Revantha Ramanayake
semanticscholar +1 more source
Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation
, 2014Christian Urban
semanticscholar +1 more source
Recent developments in novel shelf life extension technologies of fresh-cut fruits and vegetables
Trends in Food Science and Technology, 2017Liang, Min Zhang, Bhesh Bhandari
exaly
Formalizing Cut Elimination of Coalgebraic Logics in Coq
International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2013H. Tews
semanticscholar +1 more source

