Relation-algebraic computation of fixed points with applications

DOI10.1016/J.JLAP.2005.04.007MaRDI QIDQ817578zbMATH OpenOpenAlexFDO

Authors Rudolf Berghammer

Publication date 16 March 2006

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

Full work available at URL https://doi.org/10.1016/j.jlap.2005.04.007

zbMATH Keywords

fixed pointpermanentrelational algebracut completiongraph-theory

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1531039
• scientific article; zbMATH DE number 1390243
• scientific article; zbMATH DE number 67020
• Applying relation algebra and RelView to solve problems on orders and lattices
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool

Cites work

• scientific article; zbMATH DE number 420886 (Why is no real title available?)
• scientific article; zbMATH DE number 3602653 (Why is no real title available?)
• scientific article; zbMATH DE number 1953899 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• An extension of Tarski's fixed point theorem and its application to isotone complementarity problems
• Approximating the Permanent
• Chain-complete posets and directed sets with applications
• Least reflexive points of relations
• Two basic algorithms in concept analysis

Cited in

(12)

• Applying relation algebra and RelView to solve problems on orders and lattices
• Contact, closure, topology, and the linking of row and column types of relations
• Column-wise extendible vector expressions and the relational computation of sets of sets
• State space analysis of Petri nets with relation-algebraic methods
• On computing representatives
• Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
• Applying relation algebra and RelView to measures in a social network
• scientific article; zbMATH DE number 1531039 (Why is no real title available?)
• Properties of fixed point operators in predicate algebras
• scientific article; zbMATH DE number 1953891 (Why is no real title available?)
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
• Relation-algebraic specification and solution of special university timetabling problems

Describes a project that uses

Uses Software

• RelView

This page was built for publication: Relation-algebraic computation of fixed points with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817578)