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 × Canada
1 × United Kingdom
4 × USA
Collaborated with:
∅ M.Ben-Jacob
Talks about:
semant (4) program (3) logic (3) valu (2) stratifi (1) general (1) databas (1) metric (1) method (1) higher (1)

Person: Melvin Fitting

DBLP DBLP: Fitting:Melvin

Contributed to:

CL 20002000
ILPS 19931993
JICSLP 19921992
ILPS 19911991
LICS 19891989
ICLP/SPL 19881988

Wrote 6 papers:

CL-2000-Fitting #database
Databases and Higher Types (MF), pp. 41–52.
ILPS-1993-Fitting #logic programming #metric #semantics #source code
Metric Methods in the Semantics of Logic Programs (MF), pp. 69–71.
JICSLP-1992-Fitting #logic programming #semantics
Many-Valued Semantics for Logic Programming (MF), pp. 23–24.
ISLP-1991-Fitting #semantics
Well-Founded Semantics, Generalized (MF), pp. 71–84.
LICS-1989-Fitting
Negation As Refutation (MF), pp. 63–70.
JICSCP-1988-FittingB88 #logic programming #semantics
Stratified and Three-valued Logic Programming Semantics (MF, MBJ), pp. 1054–1069.
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.