Results 131 to 140 of about 5,644 (162)

Infinitary logic for computer science

1992
Infinitary logic L ∞ω ω , extends first-order logic by allowing infinitary conjunctions and disjunctions (i.e., conjunctions with an infinite number of conjuncts and disjunctions with an infinite number of disjuncts). One usually thinks of infinitary logic as a fairly esoteric logic, which is not of much interest in computer science.
Phokion G. Kolaitis, Moshe Y. Vardi
openaire   +1 more source

Current-driven magnetic domain-wall logic

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

C–H functionalization logic in total synthesis

Chemical Society Reviews, 2011
Phil S Baran
exaly  

Molecules with a sense of logic: a progress report

Chemical Society Reviews, 2015
Joakim Andréasson, Uwe Pischel
exaly  

Infinitary Logic

2018
openaire   +1 more source

Tribotronic Logic Circuits and Basic Operations

Advanced Materials, 2015
Chi Zhang, Zhong Lin Wang
exaly  

Magnetic Domain-Wall Logic

Science, 2005
Del Atkinson
exaly  

Infinitary Logic

2011
openaire   +1 more source

A supramolecular chemistry basis for molecular logic and computation

Coordination Chemistry Reviews, 2007
Amilra Prasanna De Silva
exaly  

Complexity and expressive power of logic programming

ACM Computing Surveys, 2001
Thomas Eiter, Georg Gottlob
exaly