Some general incompleteness results for partial correctness logics

From MaRDI portal
Publication:1110500

DOI10.1016/0890-5401(88)90015-6zbMath0657.03011OpenAlexW2169088600MaRDI QIDQ1110500

Francisca Lucio-Carrasco, M. Teresa Hortalá-González, Mario Rodríguez Artalejo

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0890-5401(88)90015-6




Related Items



Cites Work