Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

First Page		Document Content
Date: 2010-05-18 10:11:53		Efficient Bijective Gödel Numberings for Term Algebras 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: 205,13 KB Share Document on Facebook