Loop-free verification of termination of derivation for a fragment of dynamic logic
From MaRDI portal
Publication:2811594
zbMATH Open1344.03034MaRDI QIDQ2811594
Publication date: 10 June 2016
Published in: Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Structure of proofs (03F07)
Related Items (1)
This page was built for publication: Loop-free verification of termination of derivation for a fragment of dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811594)
