Harwath, Frederik
- Order-Invariance of Two-Variable Logic is Decidable
2016/04/20 by Thomas Zeume, Zeume, Thomas, Frederik Harwath +1 · 1 citation
Computer Science · #Formal Methods in Verification #semigroups and automata theory #Logic, programming, and type systems