BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
Collaborated with:
N.Ghani P.Johann S.Conchon M.Iguernelala K.Ji G.Melquiond
Talks about:
strategi (1) algebra (1) reason (1) number (1) induct (1) fibrat (1) three (1) point (1) initi (1) float (1)

Person: Clément Fumex

DBLP DBLP: Fumex:Cl=eacute=ment

Contributed to:

CSL 20102010
CAV (2) 20172017

Wrote 2 papers:

CSL-2010-GhaniJF #algebra #induction
Fibrational Induction Rules for Initial Algebras (NG, PJ, CF), pp. 336–350.
CAV-2017-ConchonIJMF #float #reasoning #smt
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT (SC, MI, KJ, GM, CF), pp. 419–435.

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.