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
2 × USA
Collaborated with:
Talks about:
program (2) complet (2) stratifi (1) arithmet (1) undecid (1) perfect (1) conserv (1) classif (1) notion (1) failur (1)

Person: Howard A. Blair

DBLP DBLP: Blair:Howard_A=

Contributed to:

ICLP/SPL 19881988
SLP 19871987
ILPC 19821982

Wrote 3 papers:

JICSCP-1988-AptB88 #classification #modelling #source code
Arithmetic Classification of Perfect Models of Stratified Programs (KRA, HAB), pp. 765–779.
SLP-1987-Blair87 #logic programming
Canoncical Conservative Extensions of Logic Program Completions (HAB), pp. 154–161.
The Undecidability of Two Completeness Notions for the “Negation as Failure” (HAB), pp. 164–168.

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.