Items where subject is "Algebra"

A

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

B

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

D

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

H

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

K

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