×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Probst, Christian W. (ed.) et al., Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Cham: Springer (ISBN 978-3-319-27809-4/pbk; 978-3-319-27810-0/ebook). Lecture Notes in Computer Science 9560, 191-213 (2016).
MSC:  68Qxx
BibTeX Cite
Full Text: DOI
WorldCat.org
eXamen.press. Berlin: Springer Vieweg (ISBN 978-3-642-40145-9/hbk; 978-3-642-40146-6/ebook). xxv, 179 p. (2014).
MSC:  68-01 68Q01 97P20
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software