×

Found 54 Documents (Results 1–54)

Coproducts of monads on Set. (English) Zbl 1364.18001

Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 45-54 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Calabi-Yau metrics on Kummer surfaces as a model gluing problem. (English) Zbl 1341.32020

Janeczko, Stanislaw (ed.) et al., Advances in geometric analysis. Collected papers of the workshop on geometry in honour of Shing-Tung Yau’s 60th birthday, Warsaw, Poland, April 6–8, 2009. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-248-0/pbk). Advanced Lectures in Mathematics (ALM) 21, 109-118 (2012).
Reviewer: Junyan Cao (Paris)
PDFBibTeX XMLCite
Full Text: arXiv

Experimental investigation of natural vibrations of a thick-walled cylindrical shell by the method of holographic interferometry. (Russian, English) Zbl 1289.74001

Mat. Metody Fiz.-Mekh. Polya 55, No. 3, 93-98 (2012); translation in J. Math. Sci., New York 194, No. 3, 239-244 (2013).
MSC:  74-05 74H45 74K25
PDFBibTeX XMLCite

\(\mathcal M, \mathcal N\)-adhesive transformation systems. (English) Zbl 1367.68135

Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 218-233 (2012).
PDFBibTeX XMLCite
Full Text: DOI

A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems. (English) Zbl 1367.68133

Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 187-202 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Refined graph rewriting in span-categories. A framework for algebraic graph transformation. (English) Zbl 1366.68124

Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 111-125 (2012).
MSC:  68Q42 18A30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Author

all top 3

Main Field