Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
38
click to vote
AISC
2008
Springer
151
views
Artificial Intelligence
»
more
AISC 2008
»
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
14 years 2 months ago
Download
dream.inf.ed.ac.uk
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
Lucas Dixon, Ross Duncan
claim paper
Read More »
30
click to vote
CALCO
2005
Springer
104
views
Mathematics
»
more
CALCO 2005
»
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
14 years 6 months ago
Download
www.comlab.ox.ac.uk
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
Samson Abramsky
claim paper
Read More »