×

Found 8 Documents (Results 1–8)

High-level signatures and initial semantics. (English) Zbl 07533329

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 4, 22 p. (2018).
MSC:  68-XX 18C15
PDFBibTeX XMLCite
Full Text: DOI

Sheaf and duality methods for analyzing multi-model systems. (English) Zbl 1404.93004

Pesenson, Isaac (ed.) et al., Recent applications of harmonic analysis to function spaces, differential equations, and data science. Novel methods in harmonic analysis. Volume 2. Cham: Birkhäuser/Springer (ISBN 978-3-319-55555-3/hbk; 978-3-319-55556-0/ebook; 978-3-319-55860-8/set). Applied and Numerical Harmonic Analysis, 653-703 (2017).
MSC:  93A30 18A99 18F20 55N30 94C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software