Yukihiro Oda

According to our database, Yukihiro Oda authored at least 5 papers between 2000 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics.

Yukihiro Oda

CoRR, December, 2025

Cyclic Proofs in Hoare Logic and its Reverse.

James Brotherston, Quang Loc Le, Gauri Desai, Yukihiro Oda

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, April, 2025

Proof systems for partial incorrectness logic (partial reverse Hoare logic).

Yukihiro Oda

CoRR, February, 2025

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions.

Yukihiro Oda, James Brotherston, Makoto Tatsuta

J. Log. Comput., 2025

2000

A 9-M tr. access network system-on-a-chip for mega-bit Internet access at home.

Shinichi Kozu, Toshiya Aramaki, Chinatsu Ikeda, Yasuaki Kuroda, Satoru Kawanago, Mitsuji Okada, Hiroshi Kariya, Masao Manabe, Hirotaka Utani, Eiji Sudou, Yukihiro Oda, Hideo Suzukii

Proceedings of the IEEE 2000 Custom Integrated Circuits Conference, 2000