AN ABSTRACT MACHINE FOR SYMBOLIC COMPUTATION

被引：1

|

作者：

OVERHEU, DL

机构：

来源：

JOURNAL OF THE ACM | 1966年 / 13卷 / 03期

关键词：

D O I：

10.1145/321341.321354

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：444 / &

相关论文

共 50 条

[21] Symbolic computation with sequences
Petkovsek, M
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 2006, 32 (02) : 65 - 70
[22] SYMBOLIC MATHEMATICAL COMPUTATION
MONAGAN, M
GONNET, G
CHAR, B
[J]. COMMUNICATIONS OF THE ACM, 1986, 29 (07) : 680 - 682
[23] SYMBOLIC COMPUTATION WITH FERMIONS
HUGHES, DI
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1990, 10 (06) : 657 - 664
[24] SYMBOLIC MATHEMATICAL COMPUTATION
ALLEN, R
[J]. COMMUNICATIONS OF THE ACM, 1985, 28 (12) : 1272 - 1273
[25] SYMBOLIC REPRESENTATION OF ABSTRACT CONCEPTS
JONES, S
[J]. ERGONOMICS, 1978, 21 (07) : 573 - 577
[26] Abstract Analysis of Symbolic Executions
Albarghouthi, Aws
Gurfinkel, Arie
Wei, Ou
Chechik, Marsha
[J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 495 - +
[27] How abstract is symbolic thought?
Landy, David
Goldstone, Robert L.
[J]. JOURNAL OF EXPERIMENTAL PSYCHOLOGY-LEARNING MEMORY AND COGNITION, 2007, 33 (04) : 720 - 733
[28] A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG
Mirasyedioglu, Seref
Guyer, Tolga
[J]. APPLIED MATHEMATICS AND COMPUTATION, 2006, 176 (01) : 65 - 75
[29] Abstract geometrical computation for black hole computation
Durand-Lose, J
[J]. MACHINES, COMPUTATIONS, AND UNIVERSALITY, 2005, 3354 : 176 - 187
[30] SYMBOLIC COMPUTATION FOR WITT RINGS
JUOZAPAVICIUS, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 358 : 271 - 273

← 1 2 3 4 5 →