1

Deduction-detachment theorem in hidden k-logics

E-Article
2

Linear Temporal Logic LTL: Basis for Admissible Rules

E-Article
3

Unification in linear temporal logic LTL

E-Article
4

Logics of Kripke meta-models

E-Article
5

Operation of 600-ton open-hearth furnace with oxygen-blown bath

E-Article
6
7
9
10
11

ULTRAFILTRATION OF MODIFIED MILK WHEY

E-Article
12