Searching for authors named Melvin Fitting – sorted by Relevance.
-
Annotated Revision Specification Programs
- Annotated Revision Specification Programs Melvin Fitting mlflc@(email omitted); Dept. Mathematics
- Add To MetaCart
-
Tableaus for Logic Programming
- Tableaus for Logic Programming Melvin Fitting mlflc@(email omitted); Dept. Mathematics and Computer
- Add To MetaCart
-
Negation as Refutation
- Negation As Refutation Melvin Fitting MLFLC@(email omitted); Dept. Mathematics and Computer Science
- Cited by 27 (5 self) – Add To MetaCart
-
Bisimulations and Boolean Vectors
- 6 Bisimulations and Boolean Vectors Melvin Fitting abstract. A modal accessibility relation
- Cited by 1 (0 self) – Add To MetaCart
-
Many-Valued Non-Monotonic Modal Logics
- Many-Valued Non-Monotonic Modal Logics Melvin Fitting mlflc@(email omitted); Dept. Mathematics
- Cited by 4 (2 self) – Add To MetaCart
-
leanTAP Revisited
- leanT A P Revisited Melvin Fitting mlflc@(email omitted); Dept. Mathematics and Computer Science
- Cited by 13 (0 self) – Add To MetaCart
-
The logic of proofs, semantically
- The Logic of Proofs, Semantically Melvin Fitting Dept. Mathematics and Computer Science Lehman
- Cited by 16 (3 self) – Add To MetaCart
-
A quantified logic of evidence
- A Quantified Logic of Evidence Melvin Fitting Dept. Mathematics and Computer Science Lehman
- Cited by 1 (0 self) – Add To MetaCart
-
Modality and Databases
- Modality and Databases Melvin Fitting Dept. Mathematics and Computer Science Lehman College (CUNY
- Cited by 5 (3 self) – Add To MetaCart
-
Interpolation for First Order S5
- Interpolation for First Order S5 Melvin Fitting Dept. Mathematics and Computer Science Lehman
- Cited by 2 (0 self) – Add To MetaCart

