Results 281 to 285 of about 117,954 (285)

Cut-elimination for Weak Grzegorczyk Logic Go

Studia Logica, 2012
Rajeev Gore, Revantha Ramanayake, Gore Rajeev   +2 more
exaly  

Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus

Lecture Notes in Computer Science, 2007
Kikuchi Kentaro
exaly  

Normalization and cut elimination

2014
openaire   +1 more source

Cut Elimination Resumed

2000
openaire   +1 more source

Topdown Cut-Elimination

海上保安大学校研究報告, 理工学系
openaire   +1 more source