×

Found 85 Documents (Results 1–85)

Confluence of graph rewriting with interfaces. (English) Zbl 1485.68124

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 141-169 (2017).
MSC:  68Q42 18B50 18M05

PROPped-up graph cohomology. (English) Zbl 1208.18008

Tschinkel, Yuri (ed.) et al., Algebra, arithmetic, and geometry. In honor of Y. I. Manin on the occasion of his 70th birthday. Vol. II. Boston, MA: Birkhäuser (ISBN 978-0-8176-4746-9/hbk; 978-0-8176-4747-6/ebook). Progress in Mathematics 270, 249-281 (2009).
MSC:  18D50 16T05 17B62 55P48

Lectures on props, Poisson geometry and deformation quantization. (English) Zbl 1149.53049

Dito, Giuseppe (ed.) et al., Poisson geometry in mathematics and physics. Proceedings of the international conference, Tokyo, Japan, June 5–9, 2006. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4423-6/pbk). Contemporary Mathematics 450, 223-257 (2008).
MSC:  53D17 53D55

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software