Skip navigation
RE-BUŚ
Przeglądaj
Zespoły i Kolekcje
Przeglądaj wg:
Data wydania
Autor
Tytuł
Słowa kluczowe
Pomoc
Język
English
polski
Moje konto
Mój RE-BUŚ
Subskrybuj
Edytuj profil
Rejestracja
Przeglądaj wg: Autor Dzik, Wojciech
Przejdź do:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
lub wpisz kilka pierwszych liter:
Sortowanie wg:
tytuł
data wydania
data zamieszczenia
Sortuj:
rosnąco
malejąco
Wyniki/Stronę
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autorzy/Opis:
Całość
1
5
10
15
20
25
30
35
40
45
50
Wyświetlanie wyników 1 do 4 z 4
Data wydania
Tytuł
Autor
2016
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
Dzik, Wojciech
;
Radeleczki, Sandor
2011
Remarks on projective unifiers
Dzik, Wojciech
2015
Unifiability and structural completeness in relation algebras and in products of modal logic S5
Dzik, Wojciech
;
Wróbel, Beniamin
2003
Unitary unification of S5 modal logic and its extensions
Dzik, Wojciech