View of Loop-free verification of termination of derivation for a fragment of dynamic logic | Lietuvos matematikos rinkinys

← Loop-free verification of termination of derivation for a fragment of dynamic logic