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 条

[41] Universal ≠ simple
EE Eval Engin, 2006, 7 (40-46):
[42] Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA
Wolf, Felix A.
Schwerhoff, Malte
Muller, Peter
FORMAL METHODS, FM 2021, 2021, 13047 : 407 - 426
[43] Universal ≠ simple
Lecklider, Tom
EE-EVALUATION ENGINEERING, 2006, 45 (07): : 40 - 46
[44] Concise outlines for a complex logic: a proof outline checker for TaDA
Wolf, Felix A.
Schwerhoff, Malte
Muller, Peter
FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 110 - 136
[45] A parity checker circuit based on microelectromechanical resonator logic elements
Al Hafiz, Md Abdullah
Li, Ren
Younis, Mohammad I.
Fariborzi, Hossein
PHYSICS LETTERS A, 2017, 381 (09) : 843 - 848
[46] Just institutions matter: The moral and political logic of the universal welfare state.
Swank, D
AMERICAN JOURNAL OF SOCIOLOGY, 1999, 104 (06) : 1825 - 1827
[47] Just institutions matter: The moral and political logic of the universal welfare state.
Neiman, M
AMERICAN POLITICAL SCIENCE REVIEW, 2000, 94 (03) : 729 - 730
[48] Just institutions matter: The moral and political logic of the universal welfare state.
Stephens, J
JOURNAL OF POLITICS, 1999, 61 (01): : 242 - 244
[49] Just institutions matter: The moral and political logic of the universal welfare state.
Steinmo, S
GOVERNANCE-AN INTERNATIONAL JOURNAL OF POLICY AND ADMINISTRATION, 1999, 12 (04): : 500 - 501
[50] SIMPLE SETS OF MEASUREMENTS FOR UNIVERSAL QUANTUM COMPUTATION AND GRAPH STATE PREPARATION
Takahashi, Yasuhiro
INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2010, 8 (06) : 1001 - 1012

← 1 2 3 4 5 →