christiankissig's quantum_logics [14 articles] Export

Recent papers added to christiankissig's library classified by the tag quantum_logics. You can also see everyone's quantum_logics.

Hide details

	Quantum measurements without sums [My Copy] (3 Aug 2006) by Bob Coecke, Dusko Pavlovic posted to dagger_frobenius_algebras quantum_logics quantum_operator_algebras by christiankissig on 2009-06-18 20:34:13 as along with 4 people jrw proportional jamievicary msakai
	Scalar Inverses in Quantum Structuralism [My Copy] No. RR-08-03. (2008) by Bob Coecke, Dusko Pavlovic posted to quantum_logics by christiankissig on 2009-06-16 10:08:08 as
	Classical and Quantum Structures [My Copy] No. RR-08-02. (2008) by Bob Coecke, Eric O. Paquette, Dusko Pavlovic posted to quantum_logics by christiankissig on 2009-06-16 10:08:08 as
	Quantum measurements without sums [My Copy] No. RR-06-02. (July 2006) by Bob Coecke, Dusko Pavlovic posted to quantum_logics by christiankissig on 2009-06-16 10:08:08 as
	The Group Theoretic Origin of Non-Locality For Qubits [My Copy] No. RR-09-04. (2009) by Bob Coecke, Bill Edwards, Rob Spekkens posted to quantum_logics by christiankissig on 2009-06-16 10:08:07 as
	A new description of orthogonal bases [My Copy] (2008) by Dusko, Jamie Vicary posted to quantum_logics by christiankissig on 2009-06-16 10:08:07 as
	The Logic of Entanglement. An invitation. (Version 0.9999) [My Copy] No. RR-03-12. (October 2003) by Bob Coecke posted to category_theory monoidal_categories physics quantum_logics by christiankissig on 2009-06-16 10:08:07 as
	Petri Nets, Discrete Physics, and Distributed Quantum Computation [My Copy] In Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday., Vol. 5065 (2008), pp. 527-543. by Samson Abramsky edited by Pierpaolo Degano, Rocco De Nicola, Jose Meseguer posted to petri_nets physics quantum_logics by christiankissig on 2009-06-16 10:05:21 as
	A Categorical semantics of Quantum Protocols [My Copy] No. RR-04-02. (2004) by Samson Abramsky, Bob Coecke posted to category_theory monoidal_categories physics quantum_logics by christiankissig on 2009-06-16 10:05:21 as
	Temperley-Lieb algebra: From knot theory to logic and computation via quantum mechanics [My Copy] In Mathematics of Quantum Computing and Technology (2007), pp. 415-458. by S. Abramsky edited by Goong Chen, Louis Kauffman, Sam Lomonaco posted to knot_theory monoidal_categories physics quantum_logics quantum_operator_algebras by christiankissig on 2009-06-16 10:05:20 as
	High-Level Methods for Quantum Computation and Information [My Copy] In Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004 (2004), pp. 410-414. by S. Abramsky posted to quantum_logics by christiankissig on 2009-06-16 10:05:20 as
	A Categorical Quantum Logic [My Copy] In Mathematical Structures in Computer Science, 16 (2006), pp. 469-489. by S. Abramsky, R. Duncan posted to monoidal_categories quantum_logics by christiankissig on 2009-06-16 10:05:18 as
	Lectures on Quantum Theory [My Copy] (1995) by Chris J. Isham posted to category_theory hilbert_spaces physics quantum_logics by christiankissig on 2009-06-15 10:07:51 as
	On quantum statistics in data analysis [My Copy] In Quantum Interaction 2008 (2008) by Dusko Pavlovic edited by Peter Bruza posted to quantum_logics by christiankissig on 2008-07-12 17:14:41 as

Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/tag/quantum_logics

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

category_theory	133
file-import-samson-abramsky	57
coalgebra	51
logic	35
automata_theory	34
algebra	21
enriched_category_theory	20
monads	18
physics	17
coalgebraic_modal_logic	16
protocols	16
domain_theory	14
modules	14
quantum_logics	14
monoidal_categories	12
game_theory	11
quantum_operator_algebras	9
bicategories	8
lawvere_theories	8
modal_logic	8
semirings	8
distributive_laws	7
higher_category_theory	7
limit-colimit-coincidence	7
quantum_logic	7
game_semantics	6
hopf_algebras	6
topology	6
trace_theory	6
coalgebraic_logic	5
concurrency	5
fibrations	5
process_algebra	5
processes	5
topoi	5
toposes	5
algebraic_topology	4
dagger_frobenius_algebras	4
differential_geometry	4
functor_lifting	4
hopf_monads	4
pi_calculus	4
sheaves	4
simulation	4
bigraphs	3
coinduction	3
constraint_satisfaction_problems	3
functors	3
interaction_categories	3
isbell_conjugacy	3
lambda_calculus	3
observational_equivalence	3
set_theory	3
software_engineering	3
substituion_patterns	3
toget	3
wanted	3
algebraic_geometry	2
algebraic_specification	2
anonymity	2
ccs	2
closed_categories	2
coalgebras	2
cohomology	2
cryptography	2
csp	2
elliptic_curves	2
examples_functors	2
examples_monads	2
factorisation_systems	2
functor_representation	2
geometry	2
graph_theory	2
homotopy	2
hopf_algebra	2
kleene_algebras	2
linear_logic	2
logics	2
morita_duality	2
polynomial_equation	2
profinite_groups	2
quantum_mechanics	2
reversible_computing	2
topological_field_theory	2
traces	2
trace_semantics	2
universal_algebra	2
algebraic_categories	1
analysis	1
automata	1
bialgebra	1
bialgebras	1
bimonads	1
boolean_algebras	1
categorical_logic	1
chu-spaces	1
coalgebraic_automata_theory	1
commutative_monads	1
comonads	1
complexity_theory	1
computational_effects	1
constructive_mathematics	1
cuboidal_sets	1
distributed_systems	1
domain_equations	1
expressivity	1
file-import-09-09-22	1
functional_analysis	1
functional_programming	1
functor_presentation	1
generalised_metric_spaces	1
gsos	1
haskell	1
hilbert_spaces	1
homology	1
hopf_mondas	1
integration_theory	1
kleisli_category	1
knot_theory	1
lifting	1
manifolds	1
mathematics	1
measure_theory	1
modal	1
monad	1
monad_strength	1
morita_equivalence	1
mu_calculus	1
multi_agent_logics	1
natural	1
nominal_sets	1
number_theory	1
petri_nets	1
predicate	1
programming	1
programming_languages	1
proof_theory	1
quantales	1
quantaloids	1
quantum_computing	1
relation	1
retraction	1
separation_logic	1
service_oriented_architectures	1
sos	1
stacks	1
subsitution_patterns	1
substitution_patterns	1
substitution_systems	1
symmetric_monoidal	1
tensor_categories	1
tilings	1
toread	1
type_theory	1

christiankissig's quantum_logics [14 articles] Export

christiankissig's tags