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 × France
1 × Sweden
4 × USA
Collaborated with:
T.Pietrzykowski P.K.Nicholson O.Banyasad S.Gauvin A.Rau-Chaplin
Talks about:
program (3) logic (2) spreadsheet (1) nonredund (1) algorithm (1) translat (1) parallel (1) function (1) diagnosi (1) uniform (1)

Person: Philip T. Cox

DBLP DBLP: Cox:Philip_T=

Contributed to:

PADL 20082008
SOFTVIS 20052005
PPDP 20032003
SLP 19871987
CADE 19861986
SLP 19851985
CADE 19801980

Wrote 7 papers:

PADL-2008-CoxN #array #logic programming #spreadsheet #unification
Unification of Arrays in Spreadsheets with Logic Programming (PTC, PKN), pp. 100–115.
SOFTVIS-2005-CoxGR #data flow #parallel #source code #visual notation
Adding parallelism to visual data flow programs (PTC, SG, ARC), pp. 135–144.
PPDP-2003-BanyasadC #functional #geometry #on the
On translating geometric solids to functional expressions (OB, PTC), pp. 44–55.
SLP-1987-CoxP87 #abduction
General Diagnosis by Abductive Inference (PTC, TP), pp. 183–189.
Causes for Events: Their Computation and Applications (PTC, TP), pp. 608–621.
SLP-1985-CoxP85 #deduction #logic programming
Surface Deduction: A Uniform Mechanism for Logic Programming (PTC, TP), pp. 220–227.
CADE-1980-CoxP #algorithm
A Complete, Nonredundant Algorithm for Reversed Skolemization (PTC, TP), pp. 374–385.

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.