BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (9)
dummett (4)
proof (3)
class (3)
model (3)

Stem gödel$ (all stems)

19 papers:

AFLAFL-2014-Valmari #proving #string
Character Strings and Gödel’s Incompleteness Proof (AV), pp. 355–369.
KRKR-2014-BorgwardtDP #decidability #logic
Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
PPDPPPDP-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.
ICLPICLP-J-2013-Tarau #prolog
Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings) (PT), pp. 847–861.
FLOPSFLOPS-2012-Hirai #logic #λ-calculus
A λ Calculus for Gödel-Dummett Logic Capturing Waitfreedom (YH), pp. 151–165.
CSLCSL-2010-BaazF #logic
A Resolution Mechanism for Prenex Gödel Logic (MB, CGF), pp. 67–79.
TLCATLCA-2009-WilkenW #complexity
Complexity of Gödel’s T in λ-Formulation (GW, AW), pp. 386–400.
LICSLICS-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.
IJCARIJCAR-2004-Larchey-Wendling #logic
Counter-Model Search in Gödel-Dummett Logics (DLW), pp. 274–288.
CADECADE-2003-Belinfante #reasoning
Reasoning about Iteration in Gödel’s Class Theory (JGFB), pp. 228–242.
CSLCSL-2003-KristiansenV #power of #source code #strict
The Surprising Power of Restricted Programs and Gödel’s Functionals (LK, PJV), pp. 345–358.
CSLCSL-2003-MetcalfeOG #logic
Goal-Directed Calculli for Gödel-Dummett Logics (GM, NO, DMG), pp. 413–426.
CADECADE-2002-Larchey-Wendling #logic
Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic (DLW), pp. 94–110.
CADECADE-2000-Belinfante #algorithm
Gödel’s Algorithm for Class Formation (JGFB), pp. 132–147.
CSLCSL-1997-Voda #normalisation #recursion
A Simple Ordinal Recursive Normalization of Gödel’s T (PJV), pp. 491–509.
LOPSTRLOPSTR-1994-BrogiC #logic programming #metalanguage #source code
Gödel as a Meta-Language for Composing Logic Programs (AB, SC), pp. 377–394.
LOPSTRLOPSTR-1993-Gurr #logic programming #programming language #representation
Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.
LICSLICS-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.
Simple Gödel Numberings, Translations, and the P-Hierarchy (MM, PY), pp. 236–243.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.