Results 281 to 285 of about 117,954 (285)
Some of the next articles are maybe not open access.
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus
Lecture Notes in Computer Science, 2007Kikuchi Kentaro
exaly
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus
Lecture Notes in Computer Science, 2007