Christian Schulz

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Word Sense Disambiguation

Fractal Dimensions

Description Logics

Top Venues

Log. Methods Comput. Sci.

Publications

Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian words. Log. Methods Comput. Sci. 20 (3) (2024)
Philipp Hieronymi, Sven Manthe, Christian Schulz
A Cobham theorem for scalar multiplication. CoRR (2024)
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian Words. CSL (2022)
Alexi Block Gorman, Christian Schulz
Fractal dimensions of k-automatic sets. CoRR (2022)
Philipp Hieronymi, Christian Schulz
A strong version of Cobham's theorem. STOC (2022)
Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata. CoRR (2021)
Philipp Hieronymi, Christian Schulz
A strong version of Cobham's theorem. CoRR (2021)
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian words. CoRR (2021)