Thomas Zeume

1. Temporal Logics on Words with Multiple Data Values
   2010/10/06 by Ahmet Kara, Kara, Ahmet, Thomas Schwentick +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Order-Invariance of Two-Variable Logic is Decidable
   2016/04/20 by Thomas Zeume, Frederik Harwath, Zeume, Thomas +1 · 1 citation
   Computer Science · #Formal Methods in Verification #semigroups and automata theory #Logic, programming, and type systems
3. Iltis: Learning Logic in the Web
   2021/05/12 by Gaetano Geck, Geck, Gaetano, Christine Quenkert +11 · 1 citation
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Logic, programming, and type systems