Jakub Rydval

1. On the Descriptive Complexity of Temporal Constraint Satisfaction Problems
   2020/02/21 by Manuel Bodirsky, Bodirsky, Manuel, Jakub Rydval +1 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems