×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–13)

100
MathJax
Springer Optimization and Its Applications 86. New York, NY: Springer (ISBN 978-1-4614-8476-9/hbk; 978-1-4614-8477-6/ebook). xix, 246 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
MacCaull, Wendy (ed.) et al., Relational methods in computer science. 8th international seminar on relational methods in computer science, 3rd international workshop on applications of Kleene algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22–26, 2005. Selected revised papers. Berlin: Springer (ISBN 3-540-33339-8/pbk). Lecture Notes in Computer Science 3929, 33-47 (2006).
MSC:  03G25 03G15 06D50
PDF BibTeX XML Cite
Full Text: DOI