E-LIB Suche - Ergebnisse für: Goncharov, Sergey

1

Logical Predicates in Higher-Order Mathematical Operational..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Goncharov, Sergey ; Santamaria, Alessio ; Schröder, Lutz.. - p. 47-69 , 2024

Link: https://doi.org/10.1007/..

2

Bialgebraic Reasoning on Higher-order Program Equivalence:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Goncharov, Sergey ; Milius, Stefan ; Tsampas, Stelios. - p. 1-15 , 2024

Link: https://dl.acm.org/doi/1..

3

Shades of Iteration: From Elgot to Kleene:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Goncharov, Sergey - p. 100-120 , 2023

Link: https://doi.org/10.1007/..

4

Axiomatization of Blockchain Theory:

Goncharov, Sergey ; Nechesov, Andrey
Mathematics. 11 (2023) 13 - p. 2966 , 2023

Link: https://doi.org/10.3390/..

5

Kantorovich Functors and Characteristic Logics for Behaviou..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Goncharov, Sergey ; Hofmann, Dirk ; Nora, Pedro.. - p. 46-67 , 2023

Link: https://doi.org/10.1007/..

6

Towards a Higher-Order Mathematical Operational Semantics:

Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 632-658 , 2023

Link: https://doi.org/10.1145/..

7

Polynomial-Computable Representation of Neural Networks in ..:

Goncharov, Sergey ; Nechesov, Andrey
J. 6 (2023) 1 - p. 48-57 , 2023

Link: https://doi.org/10.3390/..

8

A point-free perspective on lax extensions and predicate li..:

Goncharov, Sergey ; Hofmann, Dirk ; Nora, Pedro..
Mathematical Structures in Computer Science. 34 (2023) 2 - p. 98-127 , 2023

Link: https://doi.org/10.1017/..

9

Weak Similarity in Higher-Order Mathematical Operational Se..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Urbat, Henning ; Tsampas, Stelios ; Goncharov, Sergey.. - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

10

Semantic programming for AI and Robotics:

, In: 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON),

Goncharov, Sergey ; Nechesov, Andrey - p. 810-815 , 2022

Link: https://doi.org/10.1109/..

11

Biotechnologies in the creation of black and red rice varie..:

Goncharova, Yulia ; Bragina, Olesya ; Goncharov, Sergey...
E3S Web of Conferences. 247 (2021) - p. 01060 , 2021

Link: https://doi.org/10.1051/..

12

Solution of the Problem P = L:

Goncharov, Sergey ; Nechesov, Andrey
Mathematics. 10 (2021) 1 - p. 113 , 2021

Link: https://doi.org/10.3390/..

13

Variability Russian Rice Varieties in Essential Amino Acids..:

Goncharova, Yulia ; Verechagina, Svetlana ; Ochkas, Nikolay...
E3S Web of Conferences. 285 (2021) - p. 02046 , 2021

Link: https://doi.org/10.1051/..

14

Anion content in Russian rice samples due to increased adap..:

Goncharova, Yulia ; Gapishko, Nadezhda ; Ochkas, Nikolay...
E3S Web of Conferences. 285 (2021) - p. 02047 , 2021

Link: https://doi.org/10.1051/..

15

A metalanguage for guarded iteration:

Goncharov, Sergey ; Rauch, Christoph ; Schröder, Lutz
Theoretical Computer Science. 880 (2021) - p. 111-137 , 2021

Link: https://doi.org/10.1016/..