年別の研究成果
年別の研究成果
フィンガープリント
Oleg Evgenievich Kiselyovが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Generating C: Heterogeneous metaprogramming system description
Kiselyov, O., 2024 1月, In: Science of Computer Programming. 231, 103015.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
-
Generating C: System Description
Kiselyov, O., 2022, Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Proceedings. Hanus, M. & Igarashi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 75-93 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13215 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
1 被引用数 (Scopus) -
Not by equations alone: Reasoning with extensible effects
Kiselyov, O., Mu, S. C. & Sabry, A., 2021, (受理済み/印刷中) In: Journal of Functional Programming. e2.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
3 被引用数 (Scopus) -
Polynomial Event Semantics: Negation: Negation
Kiselyov, O., 2021, New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, 2020, Revised Selected Papers. Okazaki, N., Yada, K., Satoh, K. & Mineshima, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 82-95 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12758 LNAI).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
-
Lambek Grammars as Second-Order Abstract Categorial Grammars
Kiselyov, O. & Hoshino, Y., 2020, New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, 2019, Revised Selected Papers. Sakamoto, M., Okazaki, N., Mineshima, K. & Satoh, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 231-243 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12331 LNAI).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読