vix.ing · top · new · best · stats · spec

Standefer, Shawn

  1. 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