Decision problems for semi-Thue systems with a few rules

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 523-531

  Matiyasevich, Yuri ^a   Senizergues, Geraud ^a  

^a RUSSIAN ACADEMY OF SCIENCES   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATION THEORY; LOGIC PROGRAMMING;

ACCESSIBILITY PROBLEM; COMMON DESCENDANT PROBLEM; POST CORRESPONDENCE PROBLEM; SEMITHUE SYSTEMS; TERMINATION PROBLEM;

DECISION THEORY;

EID: 0029696236     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)