Wydział Matematyki i Informatyki
Uniwersytetu Jagiellońskiego
Logowanie
Publikacje
Czasopisma
Wydawnictwa
Konferencje
Konferencje
Pracownicy
Pracownicy wydziału
Doktoranci
Pracownicy emerytowani
Osoby związane z wydziałem
Byli doktoranci
Urlopy naukowe
Granty i Nagrody
Granty
Nagrody
Postępowania
Doktoraty
Habilitacje
Profesury
Tim Paterson
Jednostki:
Publikacje
Publikacje:
1.
Grzegorz Herman
, Tim Paterson, Michael Soltys
A Propositional Proof System with Quantification Over Permutations
,
Fundamenta Informaticae
vol. 79 (2007), 71-83
6758