Coalgebra

Results: 69



#Item
21

PDF Document

Add to Reading List

Source URL: fpt.wdfiles.com

Language: English - Date: 2013-02-02 11:04:46
22NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET Algebraic Structures on Ordered Rooted Trees and Their Significance to Lie Group Integrators by

NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET Algebraic Structures on Ordered Rooted Trees and Their Significance to Lie Group Integrators by

Add to Reading List

Source URL: www.pvv.ntnu.no

Language: English - Date: 2003-09-12 07:30:01
23arXiv:hep-thApr 94  Tetramodules over the Hopf algebra of regular functions on a torus. Tanya Khovanova Department of Mathematics

arXiv:hep-thApr 94 Tetramodules over the Hopf algebra of regular functions on a torus. Tanya Khovanova Department of Mathematics

Add to Reading List

Source URL: www.tanyakhovanova.com

Language: English - Date: 2008-02-26 17:09:59
24Coalgebra: Basic Concepts Paul Blain Levy University of Birmingham 1

Coalgebra: Basic Concepts Paul Blain Levy University of Birmingham 1

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2012-10-30 15:46:26
25

PDF Document

Add to Reading List

Source URL: www.unibuc.ro

Language: English - Date: 2011-06-27 08:52:23
26Introduction Solution Applications Conclusion  Coalgebraic Semantics of Recursion on Circular Data Structures Baltasar Trancón y Widemann (Technische Universität Berlin)

Introduction Solution Applications Conclusion Coalgebraic Semantics of Recursion on Circular Data Structures Baltasar Trancón y Widemann (Technische Universität Berlin)

Add to Reading List

Source URL: calco2011.ecs.soton.ac.uk

Language: English - Date: 2011-09-15 16:28:53
27LNCSThe Ackermann Award 2006

LNCSThe Ackermann Award 2006

Add to Reading List

Source URL: eacsl.kahle.ch

Language: English - Date: 2013-12-08 17:58:22
28Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2015-01-25 16:18:54
29You can use a wide range of wild, cultivated or supermarket greens in this recipe. Consider nettles, beet tops, turnip tops, spinach, or watercress in place of chard. The combination is also up to you, so choose the ones

You can use a wide range of wild, cultivated or supermarket greens in this recipe. Consider nettles, beet tops, turnip tops, spinach, or watercress in place of chard. The combination is also up to you, so choose the ones

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2015-02-11 13:30:09
30Sage Reference Manual: Category Theory Release 6.6.beta0 The Sage Development Team

Sage Reference Manual: Category Theory Release 6.6.beta0 The Sage Development Team

Add to Reading List

Source URL: sagemath.org

Language: English - Date: 2015-02-21 07:35:21