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 134 | Article downloads (PDF) 83
1
PDF

Articles

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