BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Ireland
1 × Italy
1 × United Kingdom
Collaborated with:
D.Galmiche D.Méry
Talks about:
search (4) proof (3) construct (2) dummett (2) counter (2) model (2) logic (2) gödel (2) structur (1) undecid (1)

Person: Dominique Larchey-Wendling

DBLP DBLP: Larchey-Wendling:Dominique

Contributed to:

LICS 20102010
IJCAR 20042004
CADE 20022002
IJCAR 20012001
IJCAR 20182018

Wrote 5 papers:

LICS-2010-Larchey-WendlingG #semantics
The Undecidability of Boolean BI through Phase Semantics (DLW, DG), pp. 140–149.
IJCAR-2004-Larchey-Wendling #logic
Counter-Model Search in Gödel-Dummett Logics (DLW), pp. 274–288.
CADE-2002-Larchey-Wendling #logic
Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic (DLW), pp. 94–110.
IJCAR-2001-Larchey-WendlingMG #named #performance
STRIP: Structural Sharing for Efficient Proof-Search (DLW, DM, DG), pp. 696–700.
Constructive Decision via Redundancy-Free Proof-Search (DLW), pp. 422–438.

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.