Schwentick, Thomas

1. The descriptive complexity approach to LOGCFL
   1998/09/28 by Clemens Lautemann, Lautemann, Clemens, Pierre McKenzie +5 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #F.1.3 #FOS: Computer and information sciences #cs.CC
2. 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 #cs.LO
3. Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
   2011/06/19 by Georg Gottlob, Gottlob, Georg, Thomas Schwentick +1 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.DB #cs.LO