Monadic NP and built-in trees

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-63172-0_44 ◽

1997 ◽

pp. 260-274 ◽

Author(s):

Martin Kreidler ◽

Detlef Seese

Download Full-text