QuodLibet

swMATH26306MaRDI QIDQ38037FDOQ38037

Author name not available (Why is that?)

Official website: http://wirth.bplaced.net/p/quodlibet/present/all.pdf

Cited In (7)

• Tactic-based inductive theorem prover for data types with partial operations (Diss., Univ. Kaiserslautern, 1999)
• \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
• SPIKE
• InKa
• Oyster
• 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