COMPUTER ALGEBRA AND LOGIC PROGRAMMING

被引：0
|
作者：
CHAR, B
机构：
来源：
INTEGRATION-THE VLSI JOURNAL | 1986年 / 4卷 / 03期
关键词：
D O I：
10.1016/0167-9260(86)90005-2
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：271 / 274
页数：4
相关论文
共 50 条
  • [1] Algebra of logic programming
    Seres, S
    Spivey, M
    Hoare, T
    [J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 184 - 199
  • [2] LOGIC OF COMPUTER PROGRAMMING
    MANNA, Z
    WALDINGER, R
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) : 199 - 229
  • [3] Computer Modeling and Programming in Algebra
    Perez, Arnulfo
    Malone, Kathy
    Renganathan, Siva Meenakshi
    Groshong, Kimberly
    [J]. PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 2 (CSEDU), 2016, : 281 - 286
  • [4] LOGIC PROGRAMMING - THE EVOLVING ALGEBRA APPROACH
    BORGER, E
    [J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 391 - 395
  • [5] Symbolic computation: Computer algebra and logic
    Buchberger, B
    [J]. FRONTIERS OF COMBINING SYSTEMS, 1996, 3 : 193 - 219
  • [6] A LOGIC PROGRAMMING SYSTEM BASED ON CORTEGE ALGEBRA
    KULIK, BA
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1995, 33 (02) : 159 - 170
  • [7] Logic, Algebra, and Geometry at the Foundation of Computer Science
    Hoare, Tony
    Mendes, Alexandra
    Ferreira, Joao F.
    [J]. FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 3 - 20
  • [8] Logic programming representation of the compound term composition algebra
    Analyti, Anastasia
    Pachoulakis, Ioannis
    [J]. FUNDAMENTA INFORMATICAE, 2006, 73 (03) : 321 - 360
  • [9] Logic and dependent types in the Aldor computer algebra system
    Thompson, S
    [J]. SYMBOLIC COMPUTATION AND AUTOMATED REASONING, 2001, : 205 - 219
  • [10] Boole's logic revisited from computer algebra
    Laita, LM
    de Ledesma, L
    Roanes-Lozano, E
    Pérez, A
    Brunori, A
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2000, 51 (05) : 419 - 439
12345