scientific article; zbMATH DE number 2086675
From MaRDI portal
Publication:4737212
zbMath1057.03029MaRDI QIDQ4737212
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800833.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (3)
Finite satisfiability for guarded fixpoint logic ⋮ The complexity of finite model reasoning in description logics ⋮ Uniform strategies, rational relations and jumping automata
This page was built for publication:
