First Page | Document Content | |
---|---|---|
Date: 2013-08-29 06:54:12 | Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Gödel Numberings) Paul Tarau1 1 Department of Computer Science and EngineeringAdd to Reading ListSource URL: logic.cse.unt.eduDownload Document from Source WebsiteFile Size: 169,67 KBShare Document on Facebook |