Reducing Nondeterminism in the Calculus of Structures

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/11916277_19 ◽

2006 ◽

pp. 272-286 ◽

Cited By ~ 5

Author(s):

Ozan Kahramanoğulları

Download Full-text