Bisimulation Reducts of First-Order Kripke Models

Bulletin of the Section of Logic, Tom 42, Numer 3-4 (2013) s. 151-160
Tomasz Połacik

 

do góry