Katedra Podstaw Informatyki - lista publikacji

Nadjednostka:

[Wszystkie publikacje]


[2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2001] [2000] [1997] [1995] [1992] [1990] [1989] [1988] [1987] [1985] [1984]
1-6 z 6.

2010

6.
Paweł Waszkiewicz
Common patterns for metric and ordered fixed point theorems, in Proceedings of the 7th Workshop On Fixed Points in Computer Science (2010), 83-87
5.
Mateusz Kostanek, Paweł Waszkiewicz
The limit-colimit coincidence theorem for Q-categories, Mathematical Structures in Computer Science vol. 158 (2010), 267-284
4.
Jakub Kozik
Dynamic Threshold Strategy for Universal Best Choice Problem, Discrete Mathematics and Theoretical Computer Science Proceedings vol. AM (2010), 439–452
3.
Bartosz Walczak
A simple representation of subwords of the Fibonacci word, Information Processing Letters vol. 110 (2010), 956-960
2.
Bartłomiej Bosek, Tomasz Krawczyk, Edward Szczypka
First-Fit Algorithm for the On-Line Chain Partitioning Problem, SIAM Journal on Discrete Mathematics vol. 23(4) (2010), 1992-1999
1.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Tautologies over implication with negative literals, Mathematical Logic Quarterly vol. 56 (2010), 388-396