Logic, meaning, and computation. Essays in memory of Alonzo Church

被引：0
|
作者：
Antonelli, GA [1 ]
机构：
[1] Univ Calif Irvine, Dept Log & Philosophy Sci, Irvine, CA 92697 USA
来源：
HISTORY AND PHILOSOPHY OF LOGIC | 2004年 / 25卷 / 02期
关键词：
D O I：
暂无
中图分类号：
B82 [伦理学（道德学）];
学科分类号：
摘要：
引用
收藏
页码：154 / 155
页数：2
相关论文
共 41 条
  • [31] Design and investigation of computation-in-memory based low power hybrid MTJ/CMOS logic gates
    Barla, Prashanth
    Joshi, Vinod Kumar
    Bhat, Somashekara
    COGENT ENGINEERING, 2024, 11 (01):
  • [32] Special Issue - Provinces of logic determined - Essays in the memory of Alfred Tarski - Part I, II and III - Preface
    Nerode, A
    ANNALS OF PURE AND APPLIED LOGIC, 2004, 126 (1-3) : 1 - 2
  • [33] Special Issue - Provinces of logic determined - Essays in the memory of Alfred Tarski - Part I, II and III - Editorial
    Adamowicz, Z
    Artemov, S
    Niwinski, D
    Orlowska, E
    Romanowska, A
    Wolenski, J
    ANNALS OF PURE AND APPLIED LOGIC, 2004, 126 (1-3) : 3 - 4
  • [34] Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler
    Liu, Wuniu
    He, Qing
    Li, Yongming
    THEORETICAL COMPUTER SCIENCE, NCTCS 2021, 2021, 1494 : 75 - 88
  • [35] MagCiM: A Flexible and Non-Volatile Computing-in-Memory Processor for Energy-Efficient Logic Computation
    Jamshidi, Vahid
    Patooghy, Ahmad
    Fazeli, Mahdi
    IEEE ACCESS, 2022, 10 : 35445 - 35459
  • [36] Ultrafast logic computation using nanostructured Ge-Sb-Te phase-change memory materials
    Loke, Desmond
    Skelton, Jonathan
    Wang, Wei-Jie
    Lee, Tae-Hoon
    Zhao, Rong
    Chong, Tow-Chong
    Elliott, Stephen
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2018, 256
  • [37] Scalable 2T2R Logic Computation Structure: Design From Digital Logic Circuits to 3-D Stacked Memory Arrays
    Yang, Zongxian
    Pan, Kangqiang
    Zhou, Norman Y.
    Wei, Lan
    IEEE JOURNAL ON EXPLORATORY SOLID-STATE COMPUTATIONAL DEVICES AND CIRCUITS, 2022, 8 (02): : 84 - 92
  • [38] A Logic Compatible 4T Dual Embedded DRAM Array for In-Memory Computation of Deep Neural Networks
    Yoo, Taegeun
    Kim, Hyunjoon
    Chen, Qian
    Kim, Tony Tae-Hyoung
    Kim, Bongjin
    2019 IEEE/ACM INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED), 2019,
  • [39] Force-Triggered Non-Volatile Multilevel Mechano-Optical Memory System for Logic Computation and Image Recognition
    Guo, Jiaxing
    Guo, Feng
    Yang, Hang
    Zhou, Tianhong
    Du, Xiaona
    Gao, Rui
    Chen, Haisheng
    Hu, Minghao
    Liu, Weiwei
    Zhang, Yang
    Tu, Dong
    Hao, Jianhua
    ADVANCED SCIENCE, 2025,
  • [40] X-Fault: Impact of Faults on Binary Neural Networks in Memristor-Crossbar Arrays with Logic-in-Memory Computation
    Staudigl, Felix
    Sturm, Karl J. X.
    Bartel, Maximilian
    Fetz, Thorben
    Sisejkovic, Dominik
    Joseph, Jan Moritz
    Pohls, Leticia Bolzani
    Leupers, Rainer
    2022 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE CIRCUITS AND SYSTEMS (AICAS 2022): INTELLIGENT TECHNOLOGY IN THE POST-PANDEMIC ERA, 2022, : 174 - 177
12345