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 230 | Article downloads (PDF) 106
1
PDF

Articles

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