Vol. 63 (2022)

Lietuvos matematikos rinkinys

Ser. A

Published 2022-12-10

Front Matter

Artūras Štikonas

Editorial Board and Table of Contents

1

PDF (Lithuanian)

Articles

Romas Alonderis

More efficient proof-search for sequents of temporal logic

1–8

pdf

Artūras Štikonas

Asymptotic analysis of Sturm-Liouville problem with Robin and two-point boundary conditions

9-18

PDF (Lithuanian)