Publication:2754027
From MaRDI portal
zbMath0974.68183MaRDI QIDQ2754027
Publication date: 11 November 2001
Related Items
A simple canonical representation of rational numbers, Mechanically certifying formula-based Noetherian induction reasoning, Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques, Inductive and Coinductive Components of Corecursive Functions in Coq
Uses Software