Akita International University · Faculty of International Liberal Arts

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups，Lecture Notes in Computer Science，2024/09，Attila Egri-Nagy, Chrystopher L. Nehaniv DOI:10.1007/978-3-031-71112-1_10，研究論文（学術雑誌），共著，英語2024 · 論文
• On Constructing Finite Automata by Relational Programming，Proceedings of the VI AMMCS International Conference, Waterloo, Canada, 2023，2025，Attila Egri-Nagy, Chrystopher L. Nehaniv 研究論文（国際会議プロシーディングス），共著，英語2023 · 論文
• The Attractor-Cycle Notation for Finite Transformations，Proceedings of the VI AMMCS International Conference, Waterloo, Canada, 2023，2025，Attila Egri-Nagy, Chrystopher L. Nehaniv 研究論文（国際会議プロシーディングス），共著，英語2023 · 論文
• Algebraic Structure and Complexity of Games，Proceedings of the VI AMMCS International Conference, Waterloo, Canada, 2023，2025，Zixuan Gao, Chrystopher L. Nehaniv, Attila Egri-Nagy 研究論文（国際会議プロシーディングス），共著，英語2023 · 論文

• 基盤研究(C)，2022/04 ～ 2025/03， 小区分01010:哲学および倫理学関連2022 · 科研費（文科省・学振）獲得実績

• Official profile