scientific article; zbMATH DE number 4033048

MaRDI QIDQ3773309zbMATH OpenFDO

Authors Irène Guessarian

Publication date 1987

zbMATH Keywords

deductive data basesfixed point theoremslogic programmingordered algebraic structuresproof theorysemanticssurvey

Mathematics Subject Classification ID

Partial orders, general (06A06) Semilattices (06A12) Fixed-point and coincidence theorems (topological aspects) (54H25) Information storage and retrieval of data (68P20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The equational logic of fixed points
• Convergence and fixed points by fuzzy orders
• Fixed point theory
• Fixed point results for finitely supported algebraic structures
• scientific article; zbMATH DE number 1278791

Cited in

(9)

• A logic of recursion
• The equational logic of fixed points
• Translation of logic programs into functional fixpoint equations
• Fixpoint strategies for deductive databases
• Fixed point results for finitely supported algebraic structures
• Properties of fixed point operators in predicate algebras
• scientific article; zbMATH DE number 1278791 (Why is no real title available?)
• Proceedings of the 9th workshop on fixed points in computer science, Turino, Italy, September 1, 2013
• Fixed point theory

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