×

Found 26 Documents (Results 1–26)

Domains and event structures for fusions. (English) Zbl 1458.68128

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 75, 12 p. (2017).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: arXiv Link

Name-passing calculi: from fusions to preorders and types. (English) Zbl 1366.68205

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 378-387 (2013).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A note on relativised products of modal logics. (English) Zbl 1082.03018

Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 221-242 (2003).
MSC:  03B45
PDFBibTeX XMLCite

Wavelets and hypothesis testing. (English) Zbl 1004.62046

Ladde, G. S. (ed.) et al., Dynamic systems and applications. Volume 3. Proceedings of the 3rd international conference, Morehouse College, Atlanta, GA, USA, May 26-29, 1999. Atlanta, GA: Dynamic Publishers. 139-145 (2001).
MSC:  62G10 42C40 62G20
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software