Gödel numbering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
- TPLP
- 2013
We describe a compact serialization algorithm mapping Prolog terms to natural numbers of bit-sizes proportional to the memory… (More)
Is this relevant?
Highly Cited
2011
Highly Cited
2011
- Nature
- 2011
G-protein-coupled receptors (GPCRs) are eukaryotic integral membrane proteins that modulate biological function by initiating… (More)
Is this relevant?
2010
2010
- 2010
In [3], Rogers discussed the concept of Gödel numbering. He defined a semi-effective numbering, constructed a semi-lattice of… (More)
Is this relevant?
2008
2008
- 2008
The genetic code structure into distinct multiplet-classes as well as the numeric degeneracies of the latter are revealed by a… (More)
Is this relevant?
2007
2007
- Ann. Pure Appl. Logic
- 2007
First-order Gödel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0,1… (More)
Is this relevant?
2005
2005
- Bulletin of Symbolic Logic
- 2005
The final two volumes, numbers IV and V, of the Oxford University Press edition of the Collected Works of Kurt Gödel [3]-[7… (More)
Is this relevant?
2004
2004
- Math. Log. Q.
- 2004
We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all… (More)
Is this relevant?
2003
2003
- 2003
Supersymmetric backgrounds in string and M-theory of the Gödel Universe type are studied. We find several new Gödel Universes… (More)
Is this relevant?
2003
2003
- 2003
We consider the brane-world generalisation of the Gödel universe and analyse its dynamical interaction with the bulk. The exact… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
- Arch. Math. Log.
- 2000
Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their… (More)
Is this relevant?