Proving Ramsey's theory by the cover set induction: A case and comparision study.
From MaRDI portal
Publication:1353938
DOI10.1007/BF01530799zbMath1034.68545MaRDI QIDQ1353938
Publication date: 12 May 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
05C55: Generalized Ramsey theory
Uses Software
Cites Work
- On sufficient-completeness and related properties of term rewriting systems
- Proof by consistency
- Termination of rewriting
- Automatic proofs by induction in theories without constructors
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item