THUE CONGRUENCES AND THE CHURCH-ROSSER PROPERTY

被引：8

作者：

BOOK, RV

ODUNLAING, CP

机构：

来源：

关键词：

D O I：

10.1007/BF02572815

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：367 / 379

页数：13

相关论文

共 13 条

[11]

NIVAT M, 1971, SEMINAIRE DUBREIL, V25

YASUHARA, A .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (02) :121-132

[13]

YASUHARA A, 1971, RECURSIVE FUNCTION T