10 results on '"ELIMINATION (Mathematics)"'
Search Results
2. Normal derivability in modal logic.
3. Non-effective Quantifier Elimination.
4. On P Versus NP for Parameter-Free Programs Over Algebraic Structures.
5. Cut-Elimination Theorem for the Logic of Constant Domains.
6. Non-elementary speed-ups in logic calculi.
7. Synthesized substructural logics.
8. A Problem of Normal Form in Natural Deduction.
9. Modal Tree-Sequents.
10. Finite Models of Some Substructural Logics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.