scientific article

zbMath1270.68059MaRDI QIDQ2843619

Roland Heinze

Publication date: 23 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104807655

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

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The alternating fixpoint of logic programs with negation
• Clausal logic and logic programming in algebraic domains
• A kripke-kleene semantics for logic programs*
• Bilattices and the semantics of logic programming
• The well-founded semantics for general logic programs

This page was built for publication: