BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
D.A.Plaisted R.Agarwal D.R.Musser D.Kapur
Talks about:
system (2) proof (2) complet (1) tecton (1) semant (1) chain (1) back (1)

Person: Xumin Nie

DBLP DBLP: Nie:Xumin

Contributed to:

RTA 19911991
CADE 19901990

Wrote 2 papers:

RTA-1991-AgarwalMKN #proving
The Tecton Proof System (RA, DRM, DK, XN), pp. 442–444.
CADE-1990-NieP #proving #semantics
A Complete Semantic Back Chaining Proof System (XN, DAP), pp. 16–27.
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.