scientific article

zbMATH Open0767.68014MaRDI QIDQ4028123

Dietmar Seipel

Publication date: 28 March 1993

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

zbMATH Keywords

deductive databasequery evaluationsidednesslinear datalog sirupsrecursive logic queries

Mathematics Subject Classification ID

Database theory (68P15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic programming (68N17)

Related Items (1)

Reconstruction of linear index expressions for reducing programs to a linear class

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Computational interpretations of linear logic 👍 👎
• On the decomposition of datalog program mappings 👍 👎
• Logic programming in a fragment of intuitionistic linear logic 👍 👎
• Decidability and Implementation of Parametrized Logic Programs 👍 👎
• Decomposability and its role in parallel logic-program evaluation 👍 👎
• Foundations of linear-time logic programming 👍 👎
• Algebra and Coalgebra in Computer Science 👍 👎

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 Q4028123)