Canonical codings of \(\mathbb{N}{}^ k\)

zbMath0742.04001MaRDI QIDQ1179119

M. Wymann-Böni

Publication date: 26 June 1992

Published in: Elemente der Mathematik (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/141514

zbMATH Keywords

inverse functionscodings of powers of the natural numbersMODULA-2 program

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Uses Software

• Unnamed Item

This page was built for publication: Canonical codings of \(\mathbb{N}{}^ k\)