Go Hashimoto

Identifiers

No identifiers captured yet.

Papers (3)

1. Induction rules for Transition Algebra cs.LO · 2026 · author #1
2. A formulation of D-institution using functor categories cs.LO · 2026 · author #1
3. Forcing and Interpolation in first-order hybrid Logic with rigid symbols cs.LO · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Daniel G\u{a}in\u{a} 1 shared papers