Get started
Author

Akihiro Omori

Observed name: Omori, Akihiro
Observed institution: Institute of Science Tokyo
ORCID: 0009-0006-1811-9108
Observed ORCID: 0009-0006-1811-9108
OpenAlex ID: A5115839699
Further Tackling Post Correspondence Problem and Proof Generation
2025 · Akihiro Omori, Yasuhiko Minamide · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 1
PDF
Postの対応問題に対する様々なアプローチ
2024 · 大森, 章裕, Omori, Akihiro, et al. · Institutional Repositories DataBase (IRDB)
Works count: 2
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type