Results 181 to 185 of about 1,009,763 (185)

Towards Improvements of Bounded Realizability Checking

2018
Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki   +2 more
exaly  

Syntactic Effectful Realizability in Higher-Order Logic

Liron Cohen, Dominik Kirst, Etienne Miquey   +2 more
exaly  

A Generalized Realizability and Intuitionistic Logic

ACM Transactions on Computational Logic
exaly  

PHYSICAL REALIZATIONS OF A UNIVERSAL ADIABATIC QUANTUM COMPUTER

2010
BIAMONTE JACOB DANIEL, BERKLEY ANDREW JOSEPH, AMIN MOHAMMAD   +2 more
openaire   +8 more sources

The realization of a universal decision element

openaire   +2 more sources