A modal framework for reasoning about arbitrary natural numbers

Activity

Period4 Dec 20198 Dec 2019
LocationГданьск
Degree of RecognitionInternational