Post

ポスト

Hokkaido University
Center for Human Nature,
Artificial Intelligence,
and Neuroscience

2019.1.1 Release

Sano K., Ma M. (2019)

Sano K., Ma M. (2019) Sequent Calculi for Normal Update Logics. Logic and Its Applications – 8th Indian Conference, ICLA 2019, 132-143.