english
Praca magisterska
Problem liczby generatorów w algebrach nad ciałem
Zainteresowania badawcze
- Algebra uniwersalna
- Równania i uklady równań
- Teoria liczb
Publikacje
|
Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), 17:1-17:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik
|
- Strona Główna
- Katedra Algorytmiki
- Katedra Podstaw Informatyki
- Wydział Matematyki i Informatyki
- Kontakt
- Satori
- Reports on Mathematical Logic
- Forum TCS
- UsosWeb
- Informatyka na szlaku
- Galeria
- Ludzie
- Maciej Bendkowski
- Bartłomiej Bosek
- Iwona Cieślik
- Piotr Danilewski
- Jan Derbisz
- Andrzej Dorobisz
- Lech Duraj
- Monika Gillert
- Katarzyna Grygiel
- Grzegorz Guśpiel
- Grzegorz Gutowski
- Grzegorz Herman
- Pawel M. Idziak
- Piotr Kawałek
- Marcin Kozik
- Jakub Kozik
- Tomasz Krawczyk
- Jacek Krzaczkowski
- Łukasz Lachowski
- Agnieszka Łupińska
- Marcin Mazur
- Piotr Micek
- Patryk Mikos
- Andrzej Pezarski
- Adam Polak
- Michał Seweryn
- Maciej Ślusarek
- Krzysztof Turowski
- Bartosz Walczak
- Michał Wrona
- Marek Zaionc
- Byli współpracownicy