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 × France
Collaborated with:
H.Ko W.M.Farmer J.D.Guttman F.J.Thayer
Talks about:
substitut (1) revisit (1) pragmat (1) script (1) refut (1) proof (1) imp (1)

Person: Mark E. Nadel

DBLP DBLP: Nadel:Mark_E=

Contributed to:

CADE 19941994
ICLP 19911991

Wrote 2 papers:

CADE-1994-FarmerGNT #proving
Proof Script Pragmatics in IMPS (WMF, JDG, MEN, FJT), pp. 356–370.
ICLP-1991-KoN #revisited
Substitution and Refutation Revisited (HPK, MEN), pp. 679–692.

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.