Depth First Search

MaRDI QIDQ40275swMATHFDO

Authors Toshiaki Nishihara, Yasuhiko Minamide

Publication date 24 June 2004

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