scientific article
From MaRDI portal
Publication:3715089
zbMath0588.03008MaRDI QIDQ3715089
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilityBüchi automatadecision algorithmsDiscrete propositional temporal logicsecond order monadic arithmetic
Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) 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:
