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:
gödel (4)
logic (4)
search (2)
model (2)
counter (2)

Stem dummett$ (all stems)

4 papers:

FLOPSFLOPS-2012-Hirai #logic #λ-calculus
A λ Calculus for Gödel-Dummett Logic Capturing Waitfreedom (YH), pp. 151–165.
IJCARIJCAR-2004-Larchey-Wendling #logic
Counter-Model Search in Gödel-Dummett Logics (DLW), pp. 274–288.
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.

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.