Searching for authors named Melvin Fitting – sorted by Relevance.
38 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
