Login / Signup
Makoto Tatsuta
Publication Activity (10 Years)
Years Active: 1991-2024
Publications (10 Years): 22
Top Topics
Theorem Prover
Deductive Reasoning
Formal Proofs
Fixed Point Semantics
Top Venues
CoRR
APLAS
Log. Methods Comput. Sci.
FoSSaCS
</>
Publications
</>