Lawrence C. Paulson: Research Challenge + Ackermann's Function in Iterative Form (Isabelle 2020)
Channel: IJCAR-FSCD 2020
Date: 21/07/2020

Presented at the Isabelle Workshop 2020, June 30, 2020