Asymptotic analysis of Sturm-Liouville problem with Robin and two-point boundary conditions.
- Published in:
- Lietuvos Matematikos Rinkinys, 2022, v. 63, n. Series A, p. 9, doi. 10.15388/LMR.2022.29692
- By:
- Publication type:
- Article
Works matching IS 01322818 AND DT 2022 AND VI 63 AND IP Series A
Results: 2
1
2
More efficient proof-search for sequents of temporal logic.
- Published in:
- Lietuvos Matematikos Rinkinys, 2022, v. 63, n. Series A, p. 1, doi. 10.15388/LMR.2022.29752
- By:
- Publication type:
- Article