scientific article; zbMATH DE number 1756016
From MaRDI portal
Publication:4535802
zbMath0987.68046MaRDI QIDQ4535802
Georg Gottlob, Reinhard Pichler
Publication date: 16 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hypergraphs (05C65) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (4)
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. ⋮ Some characterizations of \(\gamma \) and \(\beta \)-acyclicity of hypergraphs ⋮ Counting truth assignments of formulas of bounded tree-width or clique-width ⋮ Tractability beyond \(\beta\)-acyclicity for conjunctive queries with negation and SAT
This page was built for publication:
