Construction of Retractile Proof Structures

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_22 ◽

2014 ◽

pp. 319-333 ◽

Cited By ~ 1

Author(s):

Roberto Maieli

Download Full-text