| |
| 1997 | ||
|---|---|---|
| 4 | Pavel Materna: Rules of Existential Quantification into "Intensional Contexts". Studia Logica 59(3): 331-343 (1997) | |
| 1982 | ||
| 3 | EE | Pavel Materna: The Nature Of Understanding From The Logical Point Of View. COLING 1982: 199-202 |
| 1981 | ||
| 2 | Pavel Materna, Jaroslav Pokorný: Applying simple theory of types to data bases. Inf. Syst. 6(4): 283-300 (1981) | |
| 1969 | ||
| 1 | Pavel Materna: Identity, Equivalence and Isomorphism of Problems. J. Symb. Log. 34(1): 24-34 (1969) | |
| 1 | Jaroslav Pokorný | [2] |