Login / Signup
C. Smorynski
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Formal Analysis
Information Technology
Knowledge Base
Artificial Neural Networks
Top Venues
Log. J. IGPL
</>
Publications
</>
C. Smorynski
The early history of formal diagonalization.
Log. J. IGPL
31 (6) (2023)