BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
Talks about:
narrow (2) criteria (1) adventur (1) summari (1) complet (1) termin (1) commut (1) bendix (1) associ (1) knuth (1)

Person: Jim Christian

DBLP DBLP: Christian:Jim

Contributed to:

CADE 19921992
RTA 19891989
CADE 19881988

Wrote 3 papers:

CADE-1992-Christian #termination
Some Termination Criteria for Narrowing and E-Narrowing (JC), pp. 582–588.
RTA-1989-Christian #performance #summary
Fast Knuth-Bendix Completion: Summary (JC), pp. 551–555.
CADE-1988-LincolnC #commutative #unification
Adventures in Associative-Commutative Unification (PL, JC), pp. 358–367.

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.