Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings) (Q5398315)
From MaRDI portal
scientific article; zbMATH DE number 6262144
Language | Label | Description | Also known as |
---|---|---|---|
English | Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings) |
scientific article; zbMATH DE number 6262144 |
Statements
Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings) (English)
0 references
27 February 2014
0 references
bijective serialization of Prolog terms
0 references
ranking/unranking of Catalan families
0 references
generalized Cantor \(n\)-tupling bijection
0 references
combinatorial number system
0 references