Similar Items: Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules
- Performance Evaluation of Linux-Based Parallel Redundancy Protocol (PRP) for Redundant Industrial Networks
- Improving legibility of natural deduction proofs is not trivial
- Non-idempotent types for classical calculi in natural deduction style
- A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
- Local Redundancy in SAT: Generalizations of Blocked Clauses
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC