scientific article
From MaRDI portal
Publication:3773309
zbMath0634.68009MaRDI QIDQ3773309
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyfixed point theoremsproof theorysemanticslogic programmingdeductive data basesordered algebraic structures
Partial orders, general (06A06) Fixed-point and coincidence theorems (topological aspects) (54H25) Specification and verification (program logics, model checking, etc.) (68Q60) Information storage and retrieval of data (68P20) Semilattices (06A12)
Related Items
A logic of recursion ⋮ Translation of logic programs into functional fixpoint equations ⋮ Fixpoint strategies for deductive databases
