欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Algebraic proofs over noncommutative formulas
ISSN号:0890-5401
期刊名称:Information and Computation
时间:2011.8.4
页码:1269-1292
相关项目:通讯、密码及量子信息之复杂性问题研究
作者:
I. Tzameret|
同期刊论文项目
通讯、密码及量子信息之复杂性问题研究
期刊论文 79
会议论文 133
同项目期刊论文
<a href="http://iiis.tsinghua.edu.cn/mydownload.php?fileurl=2G_VaAtlA-Q6Lr0OjD5cXor2EASB8qVv
Authentication of Digital Streams
Healthcare Algorithms by Wearable Inertial Sensors: A Survey
Topological Rényi Entropy after a Quantum Quench
<a href="http://iiis.tsinghua.edu.cn/mydownload.php?fileurl=49SOtxBpztU8po_a6b48vNpwJTCjySjZ
<a href="http://iiis.tsinghua.edu.cn/mydownload.php?fileurl=RyDM1pybMBHSvuOWhqPX9vtGIk7JeabT
State-independent experimental test of quantum contextuality in an indivisible system
Stair Scheduling for Data Collection in Wireless Sensor Networks
Reply to Comment “State-independent experimental test of quantum contextuality in an indiv
<a href="http://iiis.tsinghua.edu.cn/mydownload.php?fileurl=qMH3jHbrW0Swh2GybiMj9WU4NymOWVPg
Monitoring Massive Appliances by a Minimal Number of Smart Meters
Single photon sources with single semiconductor quantum dots
Quantum Benchmarks for Pure Single-Mode Gaussian States
Short proofs for the determinant identities
Optimal asymptotic cloning machines
Batched Sparse Codes
Capacity Analysis of Linear Operator Channels Over Finite Fields
Quantum Replication at the Heisenberg Limit
Entanglement-free certification of entangling gates
Vehicle-to-Aggregator Interaction Game
Certifying Quantumness: Benchmarks for the Optimal Processing of Generalized Coherent and Squeezed S
How Strong is Nisan’s Pseudo-random Generator?
Postprocessing for quantum random-number generators: Entropy evaluation and randomness extraction
Experimental distillation of quantum nonlocality
Satisfiability with Index Dependency
<span style="font-family: ;" Calibri?,?sans-serif?;font-size:10.5pt;?="">&
Large quantum superpositions of a levitated nanodiamond through spin-optomechanical coupling
Particle-hole entanglement of ultracold atoms in an optical lattice
<a href="http://iiis.tsinghua.edu.cn/mydownload.php?fileurl=ES_oYSDHfuyTFbmlHihMoN-HRqbaJkvq
An Efficient and Information Theoretically Secure Rational Secret Sharing Scheme Based on Symmetric
Improved Approximation for Spanning Star Forest in Dense Graphs
<span style="color:#0070C0;font-family:"Calibri","sans-serif&
基于电光效应的光子频移研究
2012年诺贝尔物理学奖:大卫·维因兰德