Christian Schulz

Affiliations:
  • University of Waterloo, Department of Pure Mathematics, Canada
  • University of Illinois at Urbana-Champaign, Urbana, IL, USA


According to our database1, Christian Schulz authored at least 7 papers between 2021 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Decidability for Sturmian words.
Log. Methods Comput. Sci., 2024

Fractal Dimensions of <i>k</i>-Automatic Sets.
J. Symb. Log., 2024

A Cobham theorem for scalar multiplication.
CoRR, 2024

Consecutive Power Occurrences in Sturmian Words.
CoRR, 2024

2022
Fractal dimensions of k-automatic sets.
CoRR, 2022

A strong version of Cobham's theorem.
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

2021
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata.
CoRR, 2021


  Loading...