Vol. 63 (2022): Ser. A

Vol. 63 (2022)

Lietuvos matematikos rinkinys
Ser. A
Published 2022-12-10

Front Matter

Artūras Štikonas
Editorial Board and Table of Contents
Abstract views 269 | Article downloads (PDF) 114
1
PDF

Articles

Romas Alonderis
More efficient proof-search for sequents of temporal logic
Abstract views 239
1–8
pdf
Artūras Štikonas
Asymptotic analysis of Sturm-Liouville problem with Robin and two-point boundary conditions
Abstract views 313 | Article downloads (PDF) 161
9-18
PDF