Mladen Vuković

Artykuły

Bisimulation Quotients of Veltman Models

Reports on Mathematical Logic, Number 46, s. 59-73
Data publikacji online: 15 grudnia 2011
DOI 10.4467/20842589RM.11.004.0282