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 × Germany
1 × Hungary
3 × USA
Collaborated with:
A.J.Bonner L.A.Shklar R.v.d.Meyden K.V.Vadaparty
Talks about:
intuitionist (4) logic (4) program (2) prolog (2) action (2) order (2) interpret (1) indefinit (1) properti (1) express (1)

Person: L. Thorne McCarty

DBLP DBLP: McCarty:L=_Thorne

Contributed to:

ILPS 19941994
KR 19941994
ICLP 19931993
KR 19921992
NACLP 19901990
NACLP 19891989

Wrote 6 papers:

ILPS-1994-McCartyS #first-order #interpreter #logic #prolog
A PROLOG Interpreter for First-Order Intuitionistic Logic (LTM, LAS), p. 685.
Modalities Over Actions, I. Model Theory (LTM), pp. 437–448.
ICLP-1993-McCarty #higher-order #induction #logic #prolog #proving #source code
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic (LTM), pp. 44–63.
KR-1992-McCartyM #reasoning
Reasoning About Indefinite Actions (LTM, RvdM), pp. 59–70.
NACLP-1990-BonnerM #logic programming
Adding Negation-as-Failure to Intuitionistic Logic Programming (AJB, LTM), pp. 681–703.
NACLP-1989-BonnerMV #database #logic #query
Expressing Database Queries with Intuitionistic Logic (AJB, LTM, KVV), pp. 831–850.

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.