SIMPLE UNIVERSAL LOGIC STATE CHECKER

被引：0
|
作者：
RUDMIN, JW
机构：
来源：
AMERICAN JOURNAL OF PHYSICS | 1982年 / 50卷 / 03期
关键词：
D O I：
10.1119/1.13041
中图分类号：
G40 [教育学];
学科分类号：
040101 ; 120403 ;
摘要：
引用
收藏
页码：283 / 284
页数：2
相关论文
共 50 条
  • [21] Symbolic model checker for propositional projection temporal logic
    Pang, Tao
    Duan, Zhen-Hua
    Liu, Xiao-Fang
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (08): : 1968 - 1982
  • [22] The Linear Temporal Logic of Rewriting Maude Model Checker
    Bae, Kyungmin
    Meseguer, Jose
    REWRITING LOGIC AND ITS APPLICATIONS, 2010, 6381 : 208 - 225
  • [23] Just institutions matter: The moral and political logic of the universal welfare state
    Glennerster, H
    BRITISH JOURNAL OF INDUSTRIAL RELATIONS, 1999, 37 (02) : 341 - 343
  • [24] Just institutions matter: The moral and political logic of the universal welfare state
    Sandmo, A
    ECONOMIC JOURNAL, 2000, 110 (461): : F228 - F229
  • [25] Just institutions matter: The moral and political logic of the universal welfare state
    Kelly, PJ
    BRITISH JOURNAL OF SOCIOLOGY, 2000, 51 (02): : 393 - 395
  • [26] A simple RS-232-based logic state analyzer
    Mathews, J
    ELECTRONIC DESIGN, 2000, 48 (21) : 148 - +
  • [27] Universal Logic and Aristotelian Logic: Formality and Essence of Logic
    Brumberg-Chaumont J.
    Logica Universalis, 2015, 9 (2) : 253 - 278
  • [28] Simple universal reversible cellular automata in which reversible logic elements can be embedded
    Morita, K
    Ogiro, T
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (03): : 650 - 656
  • [29] Preface: Is Logic Universal?
    Beziau, Jean-Yves
    LOGICA UNIVERSALIS, 2010, 4 (02) : 161 - 162
  • [30] UNIVERSAL LOGIC SEQUENCES
    DAWSON, E
    GOLDBURG, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 453 : 426 - 432
12345