Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofsстатья

Информация о цитировании статьи получена из Web of Science
Дата последнего поиска статьи во внешних источниках: 22 декабря 2021 г.