Results 241 to 250 of about 2,682,535 (254)
Some of the next articles are maybe not open access.
LBI Cut Elimination Proof with BI-MultiCut
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012Ryuta Arisaka, S. Qin
semanticscholar +1 more source

