×

Found 1,405 Documents (Results 1–100)

Tensor fundamental theorems of invariant theory. (English) Zbl 07861178

Mann, Avinoam (ed.) et al., Amitsur centennial symposium, virtual and the Israel Institute for Advanced Studies (IIAS), The Hebrew University of Jerusalem, Jerusalem, Israel, November 1–4, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 800, 239-270 (2024).
MSC:  16R30 15A72

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages. (English) Zbl 07896561

Klin, Bartek (ed.) et al., 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 243, Article 28, 19 p. (2022).
MSC:  68Q85

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field