Edwin Mares
- The admissibility of γ in \rm R4.
1992/03/01 by Edwin D. Mares, Edwin Mares, Robert K. Meyer · 3 citations
Mathematics · Computer Science · #Analytic Number Theory Research #Mathematical Approximation and Integration #Polynomial and algebraic computation
- Symmetry and Completeness in Relevant Epistemic Logic
2025/03/05 by Shawn Standefer, Edwin Mares · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems