Results 181 to 190 of about 7,084,339 (219)

Constraint logic programming

ACM-SIGACT Symposium on Principles of Programming Languages, 1987
J. Jaffar, J. Lassez
semanticscholar   +1 more source

Justifications for Logic Programming

International Conference on Logic Programming and Non-Monotonic Reasoning, 2013
C. Damásio, A. Analyti, G. Antoniou
semanticscholar   +1 more source

Complexity and expressive power of logic programming

Proceedings of Computational Complexity. Twelfth Annual IEEE Conference, 1997
E. Dantsin, Thomas Eiter, G. Gottlob, A. Voronkov   +3 more
semanticscholar   +1 more source

Logic Programming with Focusing Proofs in Linear Logic

Journal of Logic and Computation, 1992
J. Andreoli
semanticscholar   +1 more source

Logic-in-memory based on an atomically thin semiconductor

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

Gallium nitride-based complementary logic integrated circuits

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

Current-driven magnetic domain-wall logic

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

Logic gates based on neuristors made from two-dimensional materials

Nature Electronics, 2021
Chunsen liu, Jianlu Wang, Weida Hu
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  

Co-opting signalling molecules enables logic-gated control of CAR T cells

Nature, 2023
Aidan Tousley, Won-Ju Kim, Caleb A Lareau   +2 more
exaly