BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Y.Vizel V.Ganesh A.Gurfinkel
Talks about:
interpol (1) strong (1) induct (1)

Person: Hari Govind Vediramana Krishnan

DBLP DBLP: Krishnan:Hari_Govind_Vediramana

Contributed to:

CAV (2) 20192019

Wrote 1 papers:

CAV-2019-KrishnanVGG #induction
Interpolating Strong Induction (HGVK, YV, VG, AG), pp. 367–385.

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.