QuodLibet

swMATH26306MaRDI QIDQ38037FDOQ38037

Author name not available (Why is that?)

Cited In (4)

• Tactic-based inductive theorem prover for data types with partial operations (Diss., Univ. Kaiserslautern, 1999)
• \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
• Computer-assisted human-oriented inductive theorem proving by \textit{descente infinie} -- a manifesto
• Shallow confluence of conditional term rewriting systems

This page was built for software: QuodLibet