Commutativity Race Detection Dimitar Dimitrov Veselin Raychev Martin Vechev

First Page		Document Content
Date: 2014-04-06 14:28:50 Linear algebra Euclidean vector Vector calculus Pointwise ALGOL 68 Vector space Coproduct Algebra Mathematics Abstract algebra		Commutativity Race Detection Dimitar Dimitrov Veselin Raychev Martin Vechev Add to Reading List Source URL: www.srl.inf.ethz.ch Download Document from Source Website File Size: 489,08 KB Share Document on Facebook

	HAWC-CoProduct Code: Technical Data Sheet Revision: # 003 DocID: 1rxpS - View Document
	Cartesian Closure for Stable Categories (draft) Paul Taylor DocID: 1rpTZ - View Document
	Perverse sheaves and the Weil conjectures Prof. Dr. Uwe Jannsen Summer Term 16 Inhaltsverzeichnis 1 Triangulated categories DocID: 1r6MW - View Document
	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California DocID: 1r6vo - View Document
	Monoidal Indeterminates and Categories of Possible WorldsI C. Hermida, R. D. Tennent∗ School of Computing, Queen’s University, Kingston, Canada K7L 3N6 Abstract Given any symmetric monoidal category C, a small symmet DocID: 1qIeP - View Document