Higher-Order and Symbolic Computation: Editorial

被引：0

作者：

Department of Computer Science, University of Aarhus, Aarhus, Denmark ^{[1
]}

不详 ^{[2
]}

机构：

来源：

High Order Symbol Comput | 2008年 / 4卷 / 359期

关键词：

D O I：

10.1007/s10990-008-9040-6

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[41] Semantics of Higher-Order Quantum Computation via Geometry of Interaction
Hasuo, Ichiro
Hoshino, Naohiko
26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, : 237 - 246
[42] COMPUTATION OF PROPAGATION CONSTANTS FOR FUNDAMENTAL AND HIGHER-ORDER MODES IN MICROSTRIP
FARRAR, A
ADAMS, AT
IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES, 1976, 24 (07) : 456 - 460
[43] Computation of higher-order moments of generalized polynomial chaos expansions
Savin, E.
Faverjon, B.
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2017, 111 (12) : 1192 - 1200
[44] Verification of higher-order computation: A game-semantic approach
Ong, C. -H. L.
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 299 - 306
[45] SYMBOLIC COMPUTATION IN JAPAN - EDITORIAL
FUTAMURA, Y
IDA, T
NAKAJIMA, R
SASAKI, T
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (06) : 543 - 543
[46] Semantics of higher-order quantum computation via geometry of interaction
Hasuo, Ichiro
Hoshino, Naohiko
ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (02) : 404 - 469
[47] Probabilistic coherence spaces as a model of higher-order probabilistic computation
Danos, Vincent
Ehrhard, Thomas
INFORMATION AND COMPUTATION, 2011, 209 (06) : 966 - 991
[48] DIRECT COMPUTATION OF A NORMALIZED SCALE FOR HIGHER-ORDER FACTOR SCORES
BALCAR, K
CESKOSLOVENSKA PSYCHOLOGIE, 1980, 24 (01): : 46 - 51
[49] Adaptive computation of higher-order moments and its systolic realization
Stellakis, HM
Manolakos, ES
INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING, 1996, 10 (2-3) : 283 - 302
[50] ALWAYS CONVERGENT HIGHER-ORDER METHODS FOR COMPUTATION OF A REAL ZERO
ALEFELD, G
COMPUTING, 1974, 13 (01) : 55 - 65

← 1 2 3 4 5 →