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: Nadel:Mark_E=
Contributed to:
1994
1991Wrote 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.