Graph Theory

MaRDI QIDQ7361796FDO

Authors Lars Noschinski

Publication date 28 April 2013

Cites work

• Digraphs
• Graph theory
• Unnamed Publication

Cited in

(10)

• Expander Graphs
• Positional Determinacy of Parity Games
• Planarity Certificates
• Elementary Graph Traversal Algorithms
• MLSS Decision Procedure
• Combinatorial Design Theory
• Formalizing Neural Networks
• An Axiomatic Characterization of the Single-Source Shortest Path Problem
• Verification of Query Optimization Algorithms
• Muntac: A Verified Certificate Checker for Timed Automata

This page was built for software: Graph Theory