Results 251 to 260 of about 82,622 (268)
Some of the next articles are maybe not open access.
Log-Linear-Based Logic Mining with Multi-Discrete Hopfield Neural Network
Mathematics, 2023Gaeithry Manoharam +2 more
exaly
Universal Linear-Optical Logic Gate with Maximal Intensity Contrast Ratios
ACS Photonics, 2018Changnan Peng, Jiayu Li, Zhi Li
exaly
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
IEEE Transactions on Automatic Control, 2008Marius Kloetzer, Calin Belta
exaly
Chu spaces as a semantic bridge between linear logic and mathematics
Theoretical Computer Science, 2003Vaughan Pratt
exaly
Distributed concurrent linear logic programming
Theoretical Computer Science, 1999Naoki Kobayashi, Akinori Yonezawa
exaly
Quantized Linear Logic, Involutive Quantales and Strong Negation
Studia Logica, 2004Norihiro Kamide, Kamide Norihiro
exaly
The decidability of the intensional fragment of classical linear logic
Theoretical Computer Science, 2015Katalin Bimbo
exaly
Glueing and orthogonality for models of linear logic
Theoretical Computer Science, 2003Martin Hyland
exaly
Harnessing piecewise-linear systems to construct dynamic logic architecture
Chaos, 2008Haipeng Peng, Yixian Yang, Lixiang Li
exaly