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 × Portugal
2 × USA
Collaborated with:
A.Bouhoula M.Rusinowitch
Talks about:
induct (2) commut (2) associ (2) proof (2) context (1) theori (1) system (1) observ (1) critic (1) verif (1)

Person: Narjes Berregeb

DBLP DBLP: Berregeb:Narjes

Contributed to:

FASE 19981998
CAV 19961996
RTA 19961996

Wrote 3 papers:

FASE-1998-BerregebBR #proving
Observational Proofs with Critical Contexts (NB, AB, MR), pp. 38–53.
CAV-1996-BerregebBR #automation #commutative #induction #verification
Automated Verification by Induction with Associative-Commutative Operators (NB, AB, MR), pp. 220–231.
RTA-1996-BerregebBR #commutative #induction #named #proving
SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories (NB, AB, MR), pp. 428–431.

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.