The following pages link to RelView (Q13546):
Displayed 50 items.
- Implementing Relational Specifications in a Constraint Functional Logic Language (Q2873796) (← links)
- Relation Algebra, RelView, and Plurality Voting (Q2879310) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← 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)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← 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)
- Multi-objective Problems in Terms of Relational Algebra (Q3498407) (← 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)
- Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms (Q3525811) (← links)
- On Automated Program Construction and Verification (Q3575262) (← links)
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView (Q3644085) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← 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)
- (Q4035699) (← links)
- (Q4213376) (← links)
- Relation algebra with multi-relations (Q4256050) (← links)
- (Q4415085) (← links)
- (Q4415086) (← links)
- On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676) (← links)
- (Q4934525) (← links)
- Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means (Q4988918) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- Relations as Images (Q5283202) (← links)
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces (Q5283203) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← 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)
- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell (Q5459185) (← links)
- (Q5480635) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712443) (← links)
- (Q5747088) (← links)
- Relational Methods in Computer Science (Q5899306) (← links)