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 × Canada
1 × Germany
2 × USA
Collaborated with:
Talks about:
resolut (3) order (2) restrict (1) support (1) elimin (1) duplic (1) binari (1) proof (1) model (1) claus (1)

Person: Bruce Spencer

DBLP DBLP: Spencer:Bruce

Contributed to:

CADE 20002000
CADE 19981998
ILPS 19931993
NACLP 19901990

Wrote 4 papers:

CADE-2000-SpencerH #order
Support Ordered Resolution (BS, JDH), pp. 385–400.
CADE-1998-HortonS #canonical #named #process #rank
Rank/Activity: A Canonical Form for Binary Resolution (JDH, BS), pp. 412–426.
ILPS-1993-Spencer #order #strict
The Ordered Clause Restriction of Model Elimination and SLI Resolution (BS), p. 678.
NACLP-1990-Spencer #proving
Avoiding Duplicate Proofs (BS), pp. 569–584.

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.