First Page | Document Content | |
---|---|---|
Date: 2012-08-02 21:04:29Mathematics Algebra Combinatorial optimization Mathematical logic Mathematical optimization Operations research Algorithm Sheaf Branch and bound Universal property Equation solving Boolean algebra | Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview AvenueAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 141,08 KBShare Document on Facebook |
Cartesian Closure for Stable Categories (draft) Paul TaylorDocID: 1rpTZ - View Document | |
Kawaguchi --- Fibered products of Hopf algebras and Seifert-van Kampen theorem for semi-graphs of Tannakian categories.pdfDocID: 1rgMI - View Document | |
´ Etale cohomology Prof. Dr. Uwe Jannsen Summer Term 2015DocID: 1r9r6 - View Document | |
Intellectual Property Rights and the Future of Universal Service Obligations 3rd Annual Trends in Innovation in the Postal Market Conference Christian Jaag, Ph.D. September 13, 2012DocID: 1qXXM - View Document | |
1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, stillDocID: 1qXxc - View Document |