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 条

[21] Descriptional Complexity of Formal Systems
Juergensen, Helmut
Karhumaki, Juhani
Okhotin, Alexander
THEORETICAL COMPUTER SCIENCE, 2016, 610 : 1 - 1
[22] FORMAL METHODS COPE WITH COMPLEXITY
MALINIAK, L
ELECTRONIC DESIGN, 1995, 43 (23) : 22 - 22
[23] Extension Complexity of Formal Languages
Tiwary, Hans Raj
THEORY OF COMPUTING SYSTEMS, 2020, 64 (05) : 735 - 753
[24] Complexity through Translations for Modal Logic with Recursion
Aceto, Luca
Achilleos, Antonis
Anastasiadi, Elli
Francalanza, Adrian
Ingolfsdottir, Anna
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (370): : 34 - 48
[25] Complexity of translations from resolution to sequent calculus
Reis, Giselle
Paleo, Bruno Woltzenlogel
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (08) : 1061 - 1091
[26] Formal complexity, real cognitive complexity and reaction time
Vylegzhanin, Vasily
Druzhinin, Yury
INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2008, 43 (3-4) : 522 - 522
[27] COMPUTATIONAL COMPLEXITY AND EXISTENCE OF COMPLEXITY GAPS
BORODIN, A
JOURNAL OF THE ACM, 1972, 19 (01) : 158 - &
[28] From Query Complexity to Computational Complexity
Dobzinski, Shahar
Vondrak, Jan
STOC'12: PROCEEDINGS OF THE 2012 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2012, : 1107 - 1116
[29] Natural complexity, computational complexity and depth
Machta, J.
CHAOS, 2011, 21 (03)
[30] The computational complexity of QoS measures for orchestrationsThe computational complexity of QoS measures
Joaquim Gabarro
Sergio Leon-Gaixas
Maria Serna
Journal of Combinatorial Optimization, 2017, 34 : 1265 - 1301

← 1 2 3 4 5 →