COMPUTATIONAL COMPLEXITY OF FORMAL TRANSLATIONS

被引：0

|

作者：

HARTMANIS, J ^{[1
]}

机构：

[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14850

来源：

MATHEMATICAL SYSTEMS THEORY | 1975年 / 8卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：156 / 166

页数：11

相关论文

共 50 条

[1] Formal security proofs with minimal fuss: Implicit computational complexity at work
Nowak, David
Zhang, Yu
INFORMATION AND COMPUTATION, 2015, 241 : 96 - 113
[2] Editorial: Computational Methods for Understanding Complexity: the Use of Formal Methods in Biology
Rosenblueth, David A.
FRONTIERS IN BIOENGINEERING AND BIOTECHNOLOGY, 2016, 4
[3] FORMAL SCHEMES FOR LANGUAGE TRANSLATIONS
CULIK, K
MOREY, CJW
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1971, 3 (01) : 17 - &
[4] FORMAL TRANSLATIONS AND SZILARD LANGUAGES
KRIEGEL, HP
MAURER, HA
INFORMATION AND CONTROL, 1976, 30 (02): : 187 - 198
[5] THE COMPLEXITY OF FORMAL PROVING
HONG, J
SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1984, 27 (10): : 1046 - 1054
[6] THE COMPLEXITY OF FORMAL PROVING
洪加威
ScienceinChina,SerA., 1984, Ser.A.1984 (10) : 1046 - 1054
[7] THE COMPLEXITY OF FORMAL PROVING
洪加威
Science China Mathematics, 1984, (10) : 1046 - 1054
[8] COMPLEXITY OF FORMAL GRAMMARS
BOOK, RV
ACTA INFORMATICA, 1978, 9 (02) : 171 - 181
[9] FORMAL CONCEPT ANALYSIS - KNOWLEDGE REPRESENTATION - TRANSLATIONS
Boroch, Robert
ROCZNIKI HUMANISTYCZNE, 2013, 61 (06): : 121 - 154
[10] Formal Reasoning about Software Object Translations
Berzins, Vladis
Luqi
Musial, Peter M.
FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT, 2010, 6028 : 43 - 58

← 1 2 3 4 5 →