Quantum deduction rules
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F09%3A00207168" target="_blank" >RIV/00216208:11320/09:00207168 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Quantum deduction rules
Popis výsledku v původním jazyce
We define propositional quantum Frege proof systems and compare them with classical Frege proof systems. (C) 2008 Elsevier B.V. All rights reserved.
Název v anglickém jazyce
Quantum deduction rules
Popis výsledku anglicky
We define propositional quantum Frege proof systems and compare them with classical Frege proof systems. (C) 2008 Elsevier B.V. All rights reserved.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Annals of Pure and Applied Logic
ISSN
0168-0072
e-ISSN
—
Svazek periodika
157
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
14
Strana od-do
—
Kód UT WoS článku
000263193000002
EID výsledku v databázi Scopus
—