Negation Elimination for Finite PCFGs

Logic Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/11506676_8 ◽

2005 ◽

pp. 117-132

Author(s):

Taisuke Sato ◽

Yoshitaka Kameya

Download Full-text