scientific article
From MaRDI portal
Publication:3211248
zbMath0722.94015MaRDI QIDQ3211248
Pierre Wolper, Marie-Jeanne Toussaint
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: