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 × Austria
1 × Denmark
1 × Italy
1 × Norway
1 × United Kingdom
Collaborated with:
K.Chaudhuri L.Straßburger T.Brock-Nannestad D.Gustafsson
Talks about:
calculus (4) structur (3) logic (3) focus (3) intuitionist (2) search (2) proof (2) normalis (1) fixpoint (1) symmetr (1)

Person: Nicolas Guenot

DBLP DBLP: Guenot:Nicolas

Contributed to:

PPDP 20152015
CSL-LICS 20142014
CSL 20112011
PPDP 20112011
ICLP 20102010

Wrote 6 papers:

PPDP-2015-Brock-Nannestad #logic
Computation in focused intuitionistic logic (TBN, NG, DG), pp. 43–54.
LICS-CSL-2014-ChaudhuriG #calculus #fixpoint #similarity
Equality and fixpoints in the calculus of structures (KC, NG), p. 10.
LICS-CSL-2014-GuenotS #logic #normalisation #symmetry
Symmetric normalisation for intuitionistic logic (NG, LS), p. 10.
CSL-2011-ChaudhuriGS #calculus
The Focused Calculus of Structures (KC, NG, LS), pp. 159–173.
PPDP-2011-Guenot #proving #reduction #λ-calculus
Nested proof search as reduction in the λ-calculus (NG), pp. 183–194.
ICLP-2010-Guenot10 #calculus #linear #logic #proving
Focused Proof Search for Linear Logic in the Calculus of Structures (NG), pp. 84–93.

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.