Results 321 to 330 of about 2,329,578 (354)

Temporal Logic of Programs

EATCS Monographs on Theoretical Computer Science, 1987
F. Kröger
semanticscholar   +1 more source

A Temporal Logic of Nested Calls and Returns

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2004
R. Alur, K. Etessami, P. Madhusudan
semanticscholar   +1 more source

Temporal Necessity and Logical Fatalism

Proceedings of the Aristotelian Society (Hardback), 2004
I begin by briefly mentioning two different logical fatalistic argument types: one from temporal necessity, and one from antecedent truth value. It is commonly thought that the latter of these involves a simple modal fallacy and is easily refuted, and that the former poses the real threat to an open future.
openaire   +2 more sources

Temporal and Modal Logic

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1991
E. Emerson
semanticscholar   +1 more source

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly  

Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic

25 Years of Model Checking, 2008
E. Clarke
semanticscholar   +1 more source

Reconfigurable logic and neuromorphic circuits based on electrically tunable two-dimensional homojunctions

Nature Electronics, 2020
Chen Pan, Chen-Yu Wang, Shi-Jun Liang
exaly  

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Logic gates based on neuristors made from two-dimensional materials

Nature Electronics, 2021
Chunsen liu, Jianlu Wang, Weida Hu
exaly  

Current-driven magnetic domain-wall logic

Nature, 2020
Zhaochu Luo, Aleš Hrabec, Trong Phuong Dao   +2 more
exaly