Looping vs. repeating in dynamic logic

From MaRDI portal
Publication:3327707

DOI10.1016/S0019-9958(82)90553-8zbMath0541.68010OpenAlexW2041398371MaRDI QIDQ3327707

No author found.

Publication date: 1982

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(82)90553-8




Related Items (13)







This page was built for publication: Looping vs. repeating in dynamic logic