More on Relations 3

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria
  • Overview
  • Directed Graphs
  • Example
  • Example
  • Adjacency Matrix
  • Undirected Graph
  • Example
  • Example
  • Example
  • Degree
  • Example
  • Graph Isomorphisms
  • Example
  • Example
  • Example
  • Path
  • Path Properties
  • Reachability
  • Reflexive Closure
  • Transitive Closure
  • Reachability and Edge Relation
  • Example
  • Exponentiation of Relations
  • Transitive Closure
  • Transitive Closure
  • Reachability
  • Composition of Relations
  • Composition of Relations
  • Tree
  • Example
  • Example
  • Trees and Cycles
  • Parents and Children
  • Other Tree Relations
  • Example
  • Levels and Heights
  • Example
  • Binary Trees
  • Summary
    • Author: Wolfgang Schreiner
    Last Modification: January 26, 2000
    [Up] [RISC-Linz] [University] [Search]