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 147 | Article downloads (PDF) 89
1
PDF

Articles

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