Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Gödel Numberings) Paul Tarau1 1 Department of Computer Science and Engineering

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 Engineering Add to Reading List Source URL: logic.cse.unt.edu Download Document from Source Website File Size: 169,67 KB Share Document on Facebook