Oleg Evgenievich Kiselyov

Scopus著者プロファイル

年別の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント

Oleg Evgenievich Kiselyovが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。

1 類似のプロファイル

1365 被引用数
20 h-index
51 Conference contribution
25 Article
6 Conference article
5 Editorial
その他
- 3 Chapter
- 2 Paper

Not by equations alone: Reasoning with extensible effects
Kiselyov, O., Mu, S. C. & Sabry, A., 2021, (Accepted/In press) In: Journal of Functional Programming. e2.
研究成果: Article › 査読
2 被引用数 (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).
研究成果: Conference contribution
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).
研究成果: Conference contribution
Many more predecessors: A representation workout
Kiselyov, O. L. E. G., 2020, (Accepted/In press) In: Journal of Functional Programming. e7.
研究成果: Article › 査読
Session Types Without Sophistry: System Description
Kiselyov, O. & Imai, K., 2020, Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 66-87 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12073 LNCS).
研究成果: Conference contribution

Kiselyov Oleg Evgenievich

フィンガープリント

ネットワーク

詳細を開く

Not by equations alone: Reasoning with extensible effects

Polynomial Event Semantics: Negation: Negation

Lambek Grammars as Second-Order Abstract Categorial Grammars

Many more predecessors: A representation workout

Session Types Without Sophistry: System Description