Results 331 to 340 of about 1,803,872 (361)

The logic of fragmentation

2020
openaire   +2 more sources

On the positive fragment of the polymodal provability logic GLP

, 2012
E. Dashkov
semanticscholar   +1 more source

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011
D. Bresolin, A. Montanari, P. Sala, G. Sciavicco   +3 more
semanticscholar   +1 more source

Gallium nitride-based complementary logic integrated circuits

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

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  

Advanced Smart Nanomaterials with Integrated Logic-Gating and Biocomputing: Dawn of Theranostic Nanorobots

Chemical Reviews, 2018
Petr I Nikitin
exaly  

A Certified Verifier for a Fragment of Separation Logic

Information and Media Technologies, 2009
N. Marti, Reynald Affeldt
semanticscholar   +1 more source