Burcu Silindir

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 1

Top Topics

Automated Theorem Proving

Linear Time Temporal Logic

Continuous Domains

Top Venues

Publications

Mieczyslaw Cichon, Burcu Silindir, Ahmet Yantir, Seçil Gergün
Generalized Polynomials and Their Unification and Extension to Discrete Calculus. Symmetry 15 (9) (2023)
Maciej Blaszak, Blazej M. Szablikowski, Burcu Silindir
Construction and separability of nonlinear soliton integrable couplings. Appl. Math. Comput. 219 (4) (2012)