Instytut Informatyki Analitycznej - lista publikacji

Nadjednostka:

Podjednostki:

[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] [1998] [1997] [1995] [1992] [1990] [1989] [1988] [1987] [1985] [1984]
1-12 z 12.

2010

12.
Tomasz Gorazd, Jacek Krzaczkowski
Term equation satisfiability over finite algebras, International Journal of Algebra and Computation vol. 20(8) (2010), 1001-1020
11.
Libor Barto, Marcin Kozik
Cyclic terms for SD(V) varieties revisited, Algebra Universalis vol. 64 (2010), 137-142
10.
Libor Barto, Marcin Kozik
New conditions for Taylor varieties and CSP, Proceedings of the 25th Ieee/acm Symposium On Logic in Computer Science Lics'10 (2010), 100-109
9.
Paweł Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote, Ross Willard
Tractability and learnabilty arising from algebras with few subpowers, SIAM Journal on Computing vol. 39 (2010), 3023-3037
8.
Joel Berman, Paweł Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote, Ross Willard
Varieties with few subalgebras of powers, Transactions of the American Mathematical Society vol. 362 (2010), 1445-1473
7.
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
6.
Mateusz Kostanek, Paweł Waszkiewicz
The limit-colimit coincidence theorem for Q-categories, Mathematical Structures in Computer Science vol. 158 (2010), 267-284
5.
Jakub Kozik
Dynamic Threshold Strategy for Universal Best Choice Problem, Discrete Mathematics and Theoretical Computer Science Proceedings vol. AM (2010), 439–452
4.
Bartosz Walczak
A simple representation of subwords of the Fibonacci word, Information Processing Letters vol. 110 (2010), 956-960
3.
Bartłomiej Bosek, Tomasz Krawczyk
The Sub-exponential Upper Bound for On-Line Chain Partitioning, (2010), "51th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2010, October 23-26, 2010, Las Vegas, Nevada, USA", Institute of Electrical and Electronics Engineers (IEEE)
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