Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 2927
Articles: 2'008'040
Articles rated: 2575

24 October 2020
 
  » search

 Search for articles, messages and online reviews


Search in 2'008'040 articles.


Results 1 to 20 of 32 for query "Logic in Computer Science quant-ph". (0.01 sec.)

[    1    2    ]   Next
1.
A categorical semantics of quantum protocols
Samson Abramsky; Bob Coecke;
18 Feb 2004   /  Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04). IEEE Computer Science Press (2004)
- - -
2.
A Lambda Calculus for Quantum Computation
Andre van Tonder;
21 Jul 2003   /  SIAM J.Comput. 33 (2004) 1109-1135 DOI: 10.1137/S0097539703432165
- - -
3.
Quantum Computation, Categorical Semantics and Linear Logic
André van Tonder;
20 Dec 2003
- - -
4.
Computing the Noncomputable
Tien D. Kieu;
7 Mar 2002   /  Contemporary Physics 44 (2003) 51- 71
- - -
5.
A possible hypercomputational quantum algorithm
Andrés Sicard; Mario Vélez; Juan Ospina;
19 Jun 2004   /  In E. J. Donkor, A. R. Pirich, and H. E. Brandt, editors, "Quantum Information and Computation III", volume 5815 of Proc. of SPIE. SPIE, Bellingham, WA, 2005. p. 219-226
- - -
6.
Logical Interpretation of a Reversible Measurement in Quantum Computing
Giulia Battilotti; Paola Zizzi;
11 Aug 2004
- - -
7.
The internal logic of Bell's states
Giulia Battilotti; Paola Zizzi;
26 Dec 2004
- - -
8.
Numerical simulations of a quantum algorithm for Hilbert's tenth problem
Tien D Kieu;
16 Apr 2003   /  in Proceedings of SPIE Vol. 5105 Quantum Information and Computation, edited by Eric Donkor, Andrew R. Pirich, Howard E. Brandt, (SPIE, Bellingham, WA, 2003), pp. 89-95.
- - -
9.
Numerical Simulations of a Possible Hypercomputational Quantum Algorithm
Andrés Sicard; Juan Ospina; Mario Vélez;
5 Apr 2005   /  In "Adaptive and Natural Computing Algorithms. Proc. of the International Conference in Coimbra, Portugal". Bernardete Ribeiro et al. (eds.). SpringerWienNewYork, 2005. p. 272--275
- - -
10.
Theoretical Setting of Inner Reversible Quantum Measurements
Paola Zizzi;
16 Jul 2005
- - -
11.
A functional quantum programming language
Thorsten Altenkirch; Jonathan Grattage;
11 Sep 2004
- - -
12.
Reversibility and Adiabatic Computation: Trading Time and Space for Energy
Ming Li; Paul Vitanyi;
13 Mar 1997   /  Proc. Royal Society of London, Series A, 452(1996), 769-789
- - -
13.
Probabilistic Model--Checking of Quantum Protocols
Simon Gay; Rajagopal Nagarajan; Nikolaos Papanikolaou;
2 Apr 2005
- - -
14.
Subtraction of ``accidentals'' and the validity of Bell tests
Caroline H. Thompson;
18 Mar 1999
- - -
15.
Quantum Algorithm for Hilbert's Tenth Problem
Tien D Kieu;
24 Oct 2001   /  Int.J.Theor.Phys. 42 (2003) 1461-1478
- - -
16.
The logic of entanglement
Bob Coecke;
2 Feb 2004
- - -
17.
Programming Pulse Driven Quantum Computers
Seth Lloyd;
17 Dec 1999
- - -
18.
Partiality in physics
Bob Coecke; Keye Martin;
4 Dec 2003
- - -
19.
Linear-algebraic lambda-calculus
Pablo Arrighi; Gilles Dowek;
25 Dec 2004   /  Quantum Programming Languages 2004, satellite of LICS, Turku Centre for Computer Science General Publication, Vol. 33, (2004)
- - -
20.
Mathematical Physics and Life
Apoorva Patel;
4 Feb 2002
- - -

[ 1 2 ]   Next





ScienXe.org
» my Online CV
» Free


News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2020 - Scimetrica