Statistics
Publications
61
Citations
4.1K
H-Index
30
Active since
1969
Affiliations
Melvin Fitting is an author at Lehman College specializing in logic, computer science, and humanities.
Publications per year
1969–2020
61
61
A kripke-kleene semantics for logic programs*
Melvin Fitting · The Journal of Logic Programming · 1985 · 539 citations
Bilattices and the semantics of logic programming
Melvin Fitting · The Journal of Logic Programming · 1991 · 410 citations
Humanities, Computer Science, Logic +11
Melvin Fitting · Fundamenta Informaticae · 1991 · 280 citations
The logic of proofs, semantically
Melvin Fitting · Annals of Pure and Applied Logic · 2004 · 270 citations
Fixpoint semantics for logic programming a survey
Melvin Fitting · Theoretical Computer Science · 2002 · 229 citations
1–5 of 61