scientific article
From MaRDI portal
Publication:3345771
zbMath0552.68036MaRDI QIDQ3345771
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilitysatisfiability problemlooppropositional dynamic logicdecidability problemsrecurring domino problem
Analysis of algorithms and problem complexity (68Q25) 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)
Related Items (1)
This page was built for publication:
