Decidability, Recursive Enumerability and Kleene Hierarchy ForL‐Subsets

 

作者: Loredana Biacino,   Giangiacomo Gerla,  

 

期刊: Mathematical Logic Quarterly  （WILEY Available online 1989）
卷期: Volume 35, issue 1  

页码: 49-62

 

ISSN:0942-5616

 

年代: 1989

 

DOI:10.1002/malq.19890350107

 

出版商: WILEY‐VCH Verlag Berlin GmbH

 

数据来源: WILEY

 

 

点击下载:  PDF (744KB)

返 回