Login / Signup
Jeffrey Shallit
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Automated Deduction
Higher Order Logic
Mathematical Knowledge
Theorem Prover
Top Venues
CoRR
</>
Publications
</>
Jeffrey Shallit
Proving Properties of φ-Representations with the Walnut Theorem-Prover.
CoRR
(2023)
Jeffrey Shallit
,
Anatoly Zavyalov
Transduction of Automatic Sequences and Applications.
CoRR
(2023)