On Temporal Gödel-Gentzen Translation

Knowlege-Based and Intelligent Information and Engineering Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23863-5_23 ◽

2011 ◽

pp. 225-234

Author(s):

Norihiro Kamide

Download Full-text