A LOGICAL ANALYSIS ON THEORY OF CONDITIONAL REWRITING - PRELIMINARY-REPORT

被引：0

作者：

OKADA, M

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：179 / 196

页数：18

共 50 条

[1] TOPOS THEORY AND COMPLEX ANALYSIS - PRELIMINARY-REPORT
ROUSSEAU, C
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A372 - A372
[2] NEGATION WITH LOGICAL VARIABLES IN CONDITIONAL REWRITING
MOHAN, CK
SRIVAS, MK
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 292 - 310
[3] OVERVIEW OF CODING THEORY - PRELIMINARY-REPORT
MASSEY, JL
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A328 - A328
[4] NONSTANDARD MEASURE THEORY IN ECONOMICS - PRELIMINARY-REPORT
ANDERSON, RM
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A222 - A223
[5] SPECTRAL THEORY FOR PARTIAL ISOMETRIES - PRELIMINARY-REPORT
ERDELYI, I
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A379 - A379
[6] ITERATIVE METHODS IN SIEVE THEORY - PRELIMINARY-REPORT
DIAMOND, HG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A51 - A51
[7] RECURSION THEORY WITHOUT ADMISSIBILITY - PRELIMINARY-REPORT
FRIEDMAN, S
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A30 - A30
[8] OPERATOR THEORY AND COMPLEX GEOMETRY - PRELIMINARY-REPORT
COWEN, MJ
DOUGLAS, RG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A381 - A382
[9] THEORY OF TRUTH .1. PRELIMINARY-REPORT
KRIPKE, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 556 - 556
[10] OPERATOR THEORY AND COMPLEX GEOMETRY - PRELIMINARY-REPORT
COWEN, MJ
DOUGLAS, RG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A174 - A174