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 241 | Article downloads (PDF) 107
1
PDF

Articles

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