Dietrich Kuske

Identifiers

• name variant Dietrich Kuske 0.60 · backfill

Papers (12)

1. The theory of reachability in trace-pushdown systems cs.FL · 2025 · author #1
2. Languages ordered by the subword order cs.FL · 2019 · author #1
3. First-Order Logic with Counting: At Least, Weak Hanf Normal Forms Always Exist and Can Be Computed! cs.LO · 2017 · author #1
4. The trace monoids in the queue monoid and in the direct product of two free monoids cs.FL · 2016 · author #1
5. The monoid of queue actions cs.FL · 2014 · author #2
6. Isomorphisms of scattered automatic linear orders cs.LO · 2012 · author #1
7. An optimal construction of Hanf sentences cs.LO · 2011 · author #2
8. The Isomorphism Problem for omega-Automatic Trees cs.LO · 2010 · author #1
9. The Isomorphism Problem On Classes of Automatic Structures cs.LO · 2010 · author #1
10. Is Ramsey's theorem omega-automatic? cs.LO · 2009 · author #1
11. Automatic structures of bounded degree revisited cs.LO · 2008 · author #1
12. Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic cs.LO · 2008 · author #1

Mentions

• 1001.2086 #1 · backfill · confidence 0.70 Dietrich Kuske
• 0912.2625 #1 · backfill · confidence 0.70 Dietrich Kuske
• 0810.4998 #1 · backfill · confidence 0.70 Dietrich Kuske
• 0802.2862 #1 · backfill · confidence 0.70 Dietrich Kuske

Frequent Coauthors

• Markus Lohrey 3 shared papers
• Georg Zetzsche 2 shared papers
• Jiamou Liu 2 shared papers
• Benedikt Bollig 1 shared papers
• Martin Huschenbett 1 shared papers
• Nicole Schweikardt 1 shared papers
• Olena Prianychnykova 1 shared papers