scientific article
From MaRDI portal
Publication:3204444
zbMath0717.03007MaRDI QIDQ3204444
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equivalenceterminationpropositional dynamic logiccorrectness of programslogical system for relations
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
