scientific article

zbMATH Open1314.68097MaRDI QIDQ2939010

L. A. Haykazyan

Publication date: 16 January 2015

Title of this publication is not available (Why is that?)

zbMATH Keywords

logic programming\(\Delta\)-equivalence

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic programming (68N17)

Related Items (1)

$\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Decidability of equivalence in the set of program schema with monotonic and partially commutative operators 👍 👎
• Monadic logic programs and functional complexity 👍 👎
• Decidability and Implementation of Parametrized Logic Programs 👍 👎
• On the Decidability of the Equivalence Problem for Monadic Recursive Programs 👍 👎
• Decidability of the Clark's completion semantics for monadic programs and queries 👍 👎
• On the completeness and the decidability of strictly monadic second‐order logic 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2939010)