Items where subject is "Algebra"

Article

Avgustinovich, Sergey and Kitaev, Sergey and Taranenko, Anna (2023) On five types of crucial permutations with respect to monotone patterns. The Electronic Journal of Combinatorics, 30 (1). P1.40. ISSN 1077-8926

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2024) Sum and tensor of quantitative effects. Logical Methods in Computer Science, 20 (4). 9:1-9:62. 9. ISSN 1860-5974

Hu, Junhao and Mao, Wei and Mao, Xuerong (2023) Advances in nonlinear hybrid stochastic differential delay equations : existence, boundedness and stability. Automatica, 147. 110682. ISSN 0005-1098

Khattak, Faizan A. and Proudler, Ian K. and Weiss, Stephan (2024) Polynomial power method : an extension of the standard power method to para-Hermitian matrices. Science Talks, 10. 100326. ISSN 2772-5693

Book Section

Daggitt, Matthew L. and Atkey, Robert and Kokke, Wen and Komendantskaya, Ekaterina and Arnaboldi, Luca; Krebbers, Robbert and Traytel, Dmitriy and Pientka, Brigitte and Zdancewic, Steve, eds. (2023) Compiling higher-order specifications to SMT solvers : how to deal with rejection constructively. In: CPP 2023 : Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, New York, NY., pp. 102-120. ISBN 9798400700262