103

Construction of an Explicit Basis for Rules Admissible in Modal System S4

Year:
2001
Language:
english
File:
PDF, 142 KB
english, 2001
132

Intermediate logics preserving admissible inference rules of heyting calculus

Year:
1993
Language:
english
File:
PDF, 767 KB
english, 1993
133

On Finite Model Property for Admissible Rules

Year:
1999
Language:
english
File:
PDF, 1.08 MB
english, 1999
136

On discrete interaction of a plate and a damaged stringer

Year:
1981
Language:
english
File:
PDF, 554 KB
english, 1981
144

Halogen chalcogenide complexes of osmium(IV)

Year:
1996
Language:
english
File:
PDF, 610 KB
english, 1996
148

Interaction of a charged 3D soliton with a Coulomb center

Year:
1996
Language:
english
File:
PDF, 788 KB
english, 1996
149

Linear temporal logic with until and next, logical consecutions

Year:
2008
Language:
english
File:
PDF, 373 KB
english, 2008