Hashimoto Go

According to our database, Hashimoto Go authored at least 6 papers between 2019 and 2026.

Collaborative distances:

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

2026

Induction rules for Transition Algebra.

Hashimoto Go

CoRR, May, 2026

A formulation of D-institution using functor categories.

Hashimoto Go

CoRR, May, 2026

Forcing and Interpolation in First-Order Hybrid Logic with rigid symbols.

Daniel Gaina, Hashimoto Go

CoRR, January, 2026

2025

Model-Theoretic Forcing in Transition Algebra.

Hashimoto Go, Daniel Gaina

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Forcing, Transition Algebras, and Calculi.

Hashimoto Go, Daniel Gaina, Ionut Tutu

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2019

Exploring Promising Concepts and Critical Technologies for Offshore Methane Hydrate Development System.

Yo Matsudaira, Ryota Wada, Yoshihiro Konno, Hashimoto Go, Ken Takagi

Proceedings of the Transdisciplinary Engineering for Complex Socio-technical Systems, 2019