Sequent calculus for hybrid logic by Stanislovas Norgėla, Anželika Šalaviejienė

Get full text

Sequent calculus for propositional likelihood logic by Romas Alonderis

Get full text

A resolution calculus for modal logic S4 by Stasys Norgėla

Get full text

Sequent calculus usage for BDI agent implementation by Adomas Birstunas

Subjects: Get full text

Combinatorics, statistics, probability calculus in the secondary school in Lithuania by Pranas Survila

Get full text

Problems solving in the integral calculus and the determination of the area under the curve by Juan E. N´apoles Vald´es, Maria Nubia Quevedo

Subjects: Get full text

Time-harmonic electromagnetics with exact controllability and discrete exterior calculus by Mönkölä, Sanna, Räbinä, Jukka, Rossi, Tuomo

Subjects: Get full text

D-complete Single Axioms for the Equivalential Calculus with the rules D and R by Marcin Czakon

Subjects: “…equivalential calculus…”
Get full text

On Saigo Fractional $q$-Calculus of a General Class of $q$-Polynomials by Biniyam Shimelis, Dayalal Suthar

Get full text

Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and > by Romas Alonderis

Get full text

Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps by Romas Alonderis

Get full text

Specialization of derivations in modal logic S5 by Aida Pliuškevičienė

Subjects: Get full text

Spectral multiplier theorems for abstract harmonic oscillators on UMD lattices by van Neerven, Jan, Portal, Pierre, Sharma, Himani

Subjects: “…Weyl pseudo-differential calculus…”
Get full text

Multiproxy analysis exploring patterns of diet and disease in dental calculus and skeletal remains from a 19th century Dutch population by Bartholdy, Bjørn Peare, Hasselstrøm, Jørgen B., Sørensen, Lambert K., Casna, Maia, Hoogland, Menno, Historisch Genootschap Beemster, Henry, Amanda G.

“…Dental calculus is an excellent source of information on the dietary patterns of past populations, including consumption of plant-based items. …”
Get full text

Statement of the problem of designing a liquid rocket engine dual bell nozzle of the maximum thrust using the direct method of the calculus of variations by Ivan Dubrovskyi, Valerii Bucharskyi

“…As an alternative to the method of characteristics, this paper proposes to use the direct method of calculus of variations [4] for profiling a dual bell nozzle. …”
Get full text