Yoji Nanjo

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Semantics Of Logic Programs

Fixpoint Semantics

Proof Theoretic

Top Venues

Publications

Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
A Fixpoint Logic and Dependent Effects for Temporal Property Verification. LICS (2018)