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
