×

Found 292 Documents (Results 1–100)

On some properties of solution sets of discontinuous quantum stochastic differential inclusions. (English) Zbl 1513.81095

Accardi, Luigi (ed.) et al., Infinite dimensional analysis, quantum probability and applications, QP41. Proceedings of the 41st conference, United Arab Emirates University (UAEU), Al Ain, Abu Dhabi, United Arab Emirates, virtual, March 28 – April 1, 2021. Cham: Springer. Springer Proc. Math. Stat. 390, 251-263 (2022).
Full Text: DOI

Proof nets for bi-intuitionistic linear logic. (English) Zbl 1462.03029

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 10, 18 p. (2018).
MSC:  03F52
Full Text: DOI

On the dependencies of logical rules. (English) Zbl 1367.03109

Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46677-3/pbk; 978-3-662-46678-0/ebook). Lecture Notes in Computer Science 9034, 436-450 (2015).
MSC:  03F52 03B47
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Software