FORMAL LANGUAGE FOR DESCRIBING MACHINE LOGIC TIMING + SEQUENCING ( LOTIS )

被引：8
|
作者：
SCHLAEPPI, HP
机构：
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1964年 / EC13卷 / 04期
关键词：
D O I：
10.1109/PGEC.1964.263846
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：439 / &
相关论文
共 50 条
  • [1] FORMAL LOGIC AND LANGUAGE
    GORSKII, DP
    [J]. SOVIET STUDIES IN PHILOSOPHY, 1963, 2 (1-2): : 49 - 68
  • [2] LAWS OF LANGUAGE USE AND FORMAL LOGIC
    POLITZER, G
    [J]. JOURNAL OF PSYCHOLINGUISTIC RESEARCH, 1986, 15 (01) : 47 - 92
  • [3] Describing process plans as the formal semantics of a language of shape
    Brown, KN
    McMahon, CA
    Williams, JHS
    [J]. ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1996, 10 (02): : 153 - 169
  • [4] Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language
    Nakama, Takehiko
    Munoz, Enrique
    Ruspini, Enrique
    [J]. PROCEEDINGS OF THE 8TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-13), 2013, 32 : 582 - 589
  • [5] Formal approaches and natural language in medieval logic
    Sanmiguel Cuevas, Lucas
    [J]. ANUARIO DE ESTUDIOS MEDIEVALES, 2020, 50 (01) : 537 - 537
  • [6] ELEMENTARY FORMAL SYSTEM AS A LOGIC PROGRAMMING LANGUAGE
    YAMAMOTO, A
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 73 - 86
  • [7] A logic-based language for describing device interoperability
    Tandabany, Sattisvar
    Rousset, Marie-Christine
    Tanaka, Yuzuru
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES, 2007, : 373 - +
  • [8] On the problem of describing semantic structures and semantic activity in formal mathematics and logic
    Shiyan, Taras A.
    [J]. FILOSOFSKII ZHURNAL, 2023, 16 (02): : 26 - 32
  • [9] Formal verification of a programming logic for a distributed programming language
    Zhang, C
    Olsson, RA
    Levitt, KN
    [J]. THEORETICAL COMPUTER SCIENCE, 1999, 216 (1-2) : 213 - 235
  • [10] Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes
    Arturo Gongora, Pedro
    Ufferman, Eric
    Hernandez-Quiroz, Francisco
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6245 : 65 - +
12345