scientific article
From MaRDI portal
Publication:2754066
zbMATH Open0974.68180MaRDI QIDQ2754066
Publication date: 11 November 2001
Title of this publication is not available (Why is that?)
Related Items (2)
On nested simple recursion ⋮ Partial and nested recursive function definitions in higher-order logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2754066)
