BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
Talks about:
quantifi (1) algebra (1) theori (1) elimin (1) space (1) rebat (1) manag (1) field (1) close (1) disk (1)

Person: Doug Ierardi

DBLP DBLP: Ierardi:Doug

Contributed to:

CIKM 19941994
STOC 19891989

Wrote 2 papers:

Management of Disk Space with REBATE (SG, DI), pp. 304–311.
STOC-1989-Ierardi #algebra #formal method #quantifier
Quantifier Elimination in the Theory of an Algebraically-closed Field (DI), pp. 138–147.

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.