Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title Downloads

Term-Rewriting Systems and Categories of Effective Descent
Author

Dali Zangurashvili
Conference

International Mathematica User Conference 2009
Conference location

Champaign, Illinois, USA
Subject

*Wolfram Technology
URL

http://www.wolfram.com/news/events/userconf2009
Downloads Download Wolfram CDF Player

Download
dali_zangurashvili_abstract.nb (698.8 KB) - Mathematica Notebook
Download
dali_zangurashvili_presentation.nb (1.1 MB) - Mathematica Notebook