A sharp proof rule for procedures in WP semantics

DOI10.1007/BF00289144zbMath0647.68017MaRDI QIDQ1104730

Could not fetch data.

Publication date: 1989

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.