Upside-Down Transformation in SOL/Connection Tableaux and Its Application

Theoretical Aspects of Computing – ICTAC 2005 - Lecture Notes in Computer Science ◽

10.1007/11560647_11 ◽

2005 ◽

pp. 166-179

Author(s):

Koji Iwanuma ◽

Katsumi Inoue ◽

Hidetomo Nabeshima

Download Full-text