5 |
| Ohlbach, Hans Jürgen (ed.) |
| |
| | 2003 | Sofronie-Stokkermans, Viorica | [Fitting, Melvin]
[Orlowska, Ewa] | | Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100 | Part of a Book | |
| | 2000 | [Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica | [Iturrioz, Luisa]
[Orlowska, Ewa]
[Turunen, Esko] | | SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | Part of a Book | |
| | 2000 | Sofronie-Stokkermans, Viorica | [Iturrioz, Luisa]
[Orlowska, Ewa]
[Turunen, Esko] | | Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7 | Part of a Book | |
1 |
| Palamidessi, Catuscia (ed.) |
| |
1 |
| Patel-Schneider, Peter F. (ed.) |
| |
2 |
| Paulson, Lawrence C. (ed.) |
| |