The following pages link to Rudolf Berghammer (Q246438):
Displaying 50 items.
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets (Q2941178) (← links)
- Social Networks: Prestige, Centrality, and Influence (Q3007565) (← links)
- Relational Modelling and Solution of Chessboard Problems (Q3007571) (← links)
- A Functional, Successor List Based Version of Warshall’s Algorithm with Applications (Q3007572) (← links)
- A Generic Program for Minimal Subsets with Applications (Q3079925) (← links)
- Computations on Simple Games Using RelView (Q3090891) (← links)
- Ordnungen, Verbände und Relationen mit Anwendungen (Q3145863) (← links)
- (Q3323249) (← links)
- Closure, Properties and Closure Properties of Multirelations (Q3460617) (← links)
- Investigating and Computing Bipartitions with Algebraic Means (Q3460630) (← links)
- Tool-Based Verification of a Relational Vertex Coloring Program (Q3460631) (← links)
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables (Q3498403) (← links)
- Algebraic Visualization of Relations Using RelView (Q3508470) (← links)
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView (Q3511094) (← links)
- (Q3518423) (← links)
- On Automated Program Construction and Verification (Q3575262) (← links)
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView (Q3644085) (← links)
- Computational Social Choice Using Relation Algebra and RelView (Q3651504) (← links)
- A Relation-Algebraic Approach to Liveness of Place/Transition Nets (Q3651511) (← links)
- Contact Relations with Applications (Q3651524) (← links)
- (Q3700813) (← links)
- (Q3753467) (← links)
- (Q3815518) (← links)
- (Q4011708) (← links)
- (Q4035699) (← links)
- (Q4213376) (← links)
- (Q4273429) (← links)
- (Q4291433) (← links)
- (Q4362882) (← links)
- (Q4362883) (← links)
- A relational model for temporal logic (Q4383696) (← links)
- (Q4415085) (← links)
- (Q4415086) (← links)
- (Q4513575) (← links)
- (Q4934525) (← links)
- Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means (Q4988918) (← links)
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem (Q5098710) (← links)
- Mathematik für die Informatik (Q5221852) (← links)
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces (Q5283203) (← links)
- Social Software for Coalition Formation (Q5302018) (← links)
- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView (Q5302019) (← links)
- Relational Construction of Specific Timetables (Q5391954) (← links)
- Automated Verification of Relational While-Programs (Q5410484) (← links)
- Relation Algebra and RelView Applied to Approval Voting (Q5410492) (← links)
- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView (Q5459175) (← links)
- Computer Algebra in Scientific Computing (Q5479223) (← links)
- (Q5480635) (← links)
- (Q5687234) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712443) (← links)
