Fixed points and closure operators: Programmological aspects

DOI10.1007/BF02366800zbMath0844.68077MaRDI QIDQ1907780

V. N. Red'ko, D. B. Bui

Publication date: 27 March 1996

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

closure operatorinductive set

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fixed points and closure operators: Programmological aspects