Rational set of trees and the algebraic semantics of logic programming

DOI10.1007/BF01257085zbMath0521.68017MaRDI QIDQ1055186

G. Marque-Pucheu

Publication date: 1983

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

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

Cites Work

• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item

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