4 found
Order:
  1.  12
    The hardness of the grid problem Gi Under the Routine Resolution Method.Huang Wenqi, Lai Chusheng & Chen Zhixiang - 1987 - Mathematical Logic Quarterly 33 (1):79-84.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  30
    The hardness of the grid problemGi Under the Routine Resolution Method.Huang Wenqi, Lai Chusheng & Chen Zhixiang - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):79-84.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  13
    On Splitting of a Recursive Set with Polynomial Time Minimal Pairs.Chen Zhixiang - 1989 - Mathematical Logic Quarterly 35 (5):423-432.
  4.  26
    On Splitting of a Recursive Set with Polynomial Time Minimal Pairs.Chen Zhixiang - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):423-432.