10 p

Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL

31 p

Decidability of an Xstit Logic

18 p

Decidability by Resolution for Propositional Modal Logics

4 p

Decay of plasma cluster accelerated by coaxial gun

6 p

Decay of enhanced density and damping of plasma flows after the electrode biasing termination on the CASTOR tokamak

5 p

Decay of a plasma produced by a pulsed beam of accelerated electrons in an He-Ne mixture at high pressure

5 p

Decay interaction of electromagnetic waves in semiinfinite plasma

50 p

Debye screening