Shay Allen Logan
- Topics, Non-Uniform Substitutions, and Variable Sharing
2024/09/13 by Shawn Standefer, Standefer, Shawn, Shay Allen Logan +3 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Constraint Satisfaction and Optimization #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems
- Hyperformalism for Bunched Natural Deduction Systems
2024/09/16 by Shay Allen Logan, Blane Worley, Logan, Shay Allen +1 · 1 citation
Computer Science · Engineering · #Computability, Logic, AI Algorithms #Computational Physics and Python Applications #FOS: Mathematics #Logic (math.LO) #Reservoir Engineering and Simulation Methods