scientific article; zbMATH DE number 1256672

zbMath0914.03009MaRDI QIDQ4230359

Jerzy Marcinkowski, Leszek Pacholski

Publication date: 19 April 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitydecidabilityanalysis of derivation treesHorn-clause implication problem

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)

Related Items

Satisfiability of the smallest binary program, On the complexity of single-rule datalog queries., Logical reduction of metarules, On the complexity of entailment in existential conjunctive first-order logic with atomic negation, Primal grammars and unification modulo a binary clause, Top program construction and reduction for polynomial time meta-interpretive learning, Thue trees