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 × France
1 × Italy
1 × USA
Collaborated with:
U.Martin A.A.Adams H.Gottliebsen M.Dunstan T.Kelsey P.Pröhle D.Shand
Talks about:
vsditlu (1) definit (1) algebra (1) verifi (1) symbol (1) method (1) integr (1) formal (1) extens (1) deduct (1)

Person: Steve Linton

DBLP DBLP: Linton:Steve

Contributed to:

CADE 19991999
World Congress on Formal Methods 19991999
CADE 19961996

Wrote 3 papers:

CADE-1999-AdamsGLM #named
VSDITLU: a verifiable symbolic definite integral table look-up (AAA, HG, SL, UM), pp. 112–126.
FM-v2-1999-DunstanKML #formal method
Formal Methods for Extensions to CAS (MD, TK, UM, SL), pp. 1758–1777.
CADE-1996-LintonMPS #algebra #automation #deduction
Algebra and Automated Deduction (SL, UM, PP, DS), pp. 448–462.

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.