scientific article
From MaRDI portal
Publication:3696491
zbMath0576.68007MaRDI QIDQ3696491
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
satisfiability problemparallel programmingconcurrencytemporal logics of programsgeneralization of regular expressionsgraph-oriented model theoretic semanticslow level languagetemporal execution of events
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)
Related Items (1)
This page was built for publication:
