×

Found 10,409 Documents (Results 801–900)

Quantified linear temporal logic over probabilistic systems with an application to vacuity checking. (English) Zbl 07730609

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 7, 18 p. (2021).
MSC:  68Q85
Full Text: DOI

Symmetric measures, continuous networks, and dynamics. (English) Zbl 1503.60105

Alpay, Daniel (ed.) et al., New directions in function theory: from complex to hypercomplex to non-commutative. Selected papers based on the presentations at the conference, Chapman University, Orange, CA, USA, November 21–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 286, 139-197 (2021).
MSC:  60J25 31C12 60G50
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

all top 3

Software