scientific article
From MaRDI portal
Publication:3770505
zbMath0633.03018MaRDI QIDQ3770505
Vadim E. Kotov, Ludmila A. Cherkasova
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)
This page was built for publication:
