Fixpoint techniques for non-monotone maps

DOI10.1007/3-540-53162-9_35zbMath1493.68065OpenAlexW1491913227MaRDI QIDQ5096192

Aida Batarekh

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_35

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• A kripke-kleene semantics for logic programs*
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fixpoint techniques for non-monotone maps