16

On Modal Logics between K × K × K and$S5 \times S5 \times S5$

Année:
2002
Langue:
english
Fichier:
PDF, 329 KB
english, 2002
17

On Axiomatising Products of Kripke Frames

Année:
2000
Langue:
english
Fichier:
PDF, 475 KB
english, 2000
19

Non-finitely axiomatisable two-dimensional modal logics

Année:
2012
Langue:
english
Fichier:
PDF, 1012 KB
english, 2012
27

Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property

Année:
2017
Langue:
english
Fichier:
PDF, 346 KB
english, 2017
37

Teleportation with Partially Entangled States

Année:
2001
Langue:
english
Fichier:
PDF, 89 KB
english, 2001
38

Automated fermentation equipment I. program-controlled fermentor

Année:
1981
Langue:
english
Fichier:
PDF, 716 KB
english, 1981
39

Automated fermentation equipment II. Computer–fermentor system

Année:
1981
Langue:
english
Fichier:
PDF, 574 KB
english, 1981
42

Weakly associative relation algebras with projections

Année:
2009
Langue:
english
Fichier:
PDF, 194 KB
english, 2009