Depth First Search

swMATH28561MaRDI QIDQ40275FDOQ40275

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Depth-First-Search.html

Cited In (5)

• Adapting functional programs to higher order logic
• Formalizing the Logic-Automaton Connection
• Presburger Automata
• Regexp
• Partial and nested recursive function definitions in higher-order logic

This page was built for software: Depth First Search