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 × France
1 × Japan
Collaborated with:
A.Leitsch S.Hetzl M.Baaz V.Nigam L.Lima B.W.Paleo J.Tapolczai D.Weller G.Ebner M.Riener S.Wolfsteiner S.Zivota
Talks about:
intuitionist (2) logic (2) quantifi (1) introduc (1) descript (1) complex (1) classic (1) toward (1) system (1) permut (1)

Person: Giselle Reis

DBLP DBLP: Reis:Giselle

Contributed to:

LICS 20152015
IJCAR 20142014
CSL 20122012
IJCAR 20162016

Wrote 5 papers:

LICS-2015-BaazLR #complexity #proving
A Note on the Complexity of Classical and Intuitionistic Proofs (MB, AL, GR), pp. 657–666.
IJCAR-2014-HetzlLRTW #logic #quantifier #similarity
Introducing Quantified Cuts in Logic with Equality (SH, AL, GR, JT, DW), pp. 240–254.
IJCAR-2014-NigamRL #automation #named #permutation #proving
Quati: An Automated Tool for Proving Permutation Lemmas (VN, GR, LL), pp. 255–261.
CSL-2012-LeitschRP #logic #towards
Towards CERes in intuitionistic logic (AL, GR, BWP), pp. 485–499.
System Description: GAPT 2.0 (GE, SH, GR, MR, SW, SZ), pp. 293–301.

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.