## Stem gödel$ (all stems)

### 19 papers:

- AFL-2014-Valmari #proving #string
- Character Strings and Gödel’s Incompleteness Proof (AV), pp. 355–369.
- KR-2014-BorgwardtDP #decidability #logic
- Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
- PPDP-2014-Ilik #continuation #normalisation #proving #tutorial
- Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
- ICLP-J-2013-Tarau #prolog
- Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings) (PT), pp. 847–861.
- FLOPS-2012-Hirai #logic #λ-calculus
- A λ Calculus for Gödel-Dummett Logic Capturing Waitfreedom (YH), pp. 151–165.
- CSL-2010-BaazF #logic
- A Resolution Mechanism for Prenex Gödel Logic (MB, CGF), pp. 67–79.
- TLCA-2009-WilkenW #complexity
- Complexity of Gödel’s T in λ-Formulation (GW, AW), pp. 386–400.
- LICS-2006-Dawson #assessment #logic
- Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel’s Impact on Logic, Mathematics, and Computer Science (JWD), pp. 339–341.
- IJCAR-2004-Larchey-Wendling #logic
- Counter-Model Search in Gödel-Dummett Logics (DLW), pp. 274–288.
- CADE-2003-Belinfante #reasoning
- Reasoning about Iteration in Gödel’s Class Theory (JGFB), pp. 228–242.
- CSL-2003-KristiansenV #power of #source code #strict
- The Surprising Power of Restricted Programs and Gödel’s Functionals (LK, PJV), pp. 345–358.
- CSL-2003-MetcalfeOG #logic
- Goal-Directed Calculli for Gödel-Dummett Logics (GM, NO, DMG), pp. 413–426.
- CADE-2002-Larchey-Wendling #logic
- Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic (DLW), pp. 94–110.
- CADE-2000-Belinfante #algorithm
- Gödel’s Algorithm for Class Formation (JGFB), pp. 132–147.
- CSL-1997-Voda #normalisation #recursion
- A Simple Ordinal Recursive Normalization of Gödel’s T (PJV), pp. 491–509.
- LOPSTR-1994-BrogiC #logic programming #metalanguage #source code
- Gödel as a Meta-Language for Composing Logic Programs (AB, SC), pp. 377–394.
- LOPSTR-1993-Gurr #logic programming #programming language #representation
- Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.
- LICS-1991-PacholskiS #higher-order #on the #similarity
- On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality (LP, WS), pp. 280–285.
- STOC-1976-MachteyY
- Simple Gödel Numberings, Translations, and the P-Hierarchy (MM, PY), pp. 236–243.