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 × France
1 × USA
Collaborated with:
∅
Talks about:
interfac (2) graphic (2) prover (2) proof (2) manag (2) larch (2) new (2) algorithm (1) earley (1) bottom (1)

Person: Frédéric Voisin

DBLP DBLP: Voisin:Fr=eacute=d=eacute=ric

Contributed to:

RTA 19961996
PLILP 19881988
TAPSOFT CAAP/FASE 19971997

Wrote 3 papers:

RTA-1996-Voisin #interface #proving
A New Proof Manager and Graphic Interface for Larch Prover (FV), pp. 408–411.
PLILP-1988-Voisin #adaptation #algorithm #bottom-up #earley #parsing
A Bottom-Up Adaption of Earley’s Parsing Algorithm (FV), pp. 146–160.
TAPSOFT-1997-Voisin #interface #proving
A new Proof-Manager and Graphic Interface for the Larch Prover (FV), pp. 863–866.
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.