Keyword:rewriting

Publications
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint 3191
Rewriting and Inductive Reasoning Marton Hajdu, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Translating HOL-Light proofs to Coq Frédéric Blanqui In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Initial Experiments on Deriving a Complete HOL Simplification Set Cezary Kaliszyk and Thomas Sternagel In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
A Shallow Embedding of Resolution and Superposition Proofs into the $\lambda\Pi$-Calculus Modulo Guillaume Burel In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving