Rational set of trees and the algebraic semantics of logic programming

DOI10.1007/BF01257085MaRDI QIDQ1055186zbMATH OpenFDO

Authors G. Marque-Pucheu

Publication date 1983

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01257085

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Contributions to the Theory of Logic Programming
• scientific article; zbMATH DE number 3736996 (Why is no real title available?)
• scientific article; zbMATH DE number 3540387 (Why is no real title available?)
• The Semantics of Predicate Logic as a Programming Language

Cited in

(1)

• Bounded treewidth as a key to tractability of knowledge representation and reasoning

This page was built for publication: Rational set of trees and the algebraic semantics of logic programming

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