Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)
From MaRDI portal
Publication:5398315
DOI10.1017/S1471068413000537zbMath1286.68059OpenAlexW2108750038MaRDI QIDQ5398315
Publication date: 27 February 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068413000537
combinatorial number systemgeneralized Cantor \(n\)-tupling bijectionbijective serialization of Prolog termsranking/unranking of Catalan families
Related Items (4)
Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices ⋮ Unnamed Item ⋮ Fair enumeration combinators ⋮ Towards a generic view of primality through multiset decompositions of natural numbers
Cites Work
This page was built for publication: Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)