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 条
  • [41] HIERARCHICAL ADDRESSING IN SYMBOLIC COMPUTATION
    BARNETT, MP
    PERRY, KR
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1994, 28 (08) : 17 - 35
  • [42] Towards Specifying Symbolic Computation
    Carette, Jacques
    Farmer, William M.
    [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2019, 2019, 11617 : 109 - 124
  • [43] Symbolic computation in nonlinear systems
    Collado, J
    Esquivel, JA
    [J]. SYSTEM STRUCTURE AND CONTROL 1997, 1998, : 351 - 355
  • [44] Symbolic computation with finite biquandles
    Creel, Conrad
    Nelson, Sam
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2007, 42 (10) : 992 - 1000
  • [45] Symbolic computation of differential equivalences
    Cardelli, Luca
    Tribastone, Mirco
    Tschaikowski, Max
    Vandin, Andrea
    [J]. THEORETICAL COMPUTER SCIENCE, 2019, 777 : 132 - 154
  • [46] DISCRIMINATOR VARIETIES AND SYMBOLIC COMPUTATION
    BURRIS, S
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1992, 13 (02) : 175 - 207
  • [47] Symbolic computation in structural engineering
    Pavlovic, MN
    [J]. COMPUTERS & STRUCTURES, 2003, 81 (22-23) : 2121 - 2136
  • [48] Symbolic computation in hyperbolic programming
    Naldi, Simone
    Plaumann, Daniel
    [J]. JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2018, 17 (10)
  • [49] Symbolic Computation with Monotone Operators
    Florian Lauster
    D. Russell Luke
    Matthew K. Tam
    [J]. Set-Valued and Variational Analysis, 2018, 26 : 353 - 368
  • [50] Programming and symbolic computation in Maude
    Duran, Francisco
    Eker, Steven
    Escobar, Santiago
    Marti-Oliet, Narciso
    Meseguer, Jose
    Rubio, Ruben
    Talcott, Carolyn
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 110
12345