Depth First Search

swMATH28561MaRDI QIDQ40275FDOQ40275

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: Depth First Search