Knuth Bendix Orders

swMATH28584MaRDI QIDQ40298FDOQ40298

Author name not available (Why is that?)

Cited In (3)

• Formalization of the resolution calculus for first-order logic
• Title not available (Why is that?)
• Foundational (co)datatypes and (co)recursion for higher-order logic

This page was built for software: Knuth Bendix Orders