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-16 z 16.

2009

16.
Stanisław Sędziwy
Periodic solutions of scalar differential equations without uniqueness, Boll. Unione Mat. Ital. (9) vol. 2(2) (2009), 445–448
15.
Marcin Kozik
A 2EXPTIME Complete Varietal Membership Problem, SIAM Journal on Computing vol. 6 (2009), 2443-2467
14.
Libor Barto, Marcin Kozik, Todd Niven
The CSP dichotomy holds for digraphs with no sources and no sinks (a positive answer to a conjecture of Bang-Jensen and Hell), SIAM Journal on Computing vol. 38 (2009), 1782-1802
13.
Libor Barto, Marcin Kozik
Congruence distributivity implies bounded width, SIAM Journal on Computing vol. 39 (2009), 1531-1542
12.
Libor Barto, Marcin Kozik, Miklós Maróti, Todd Niven
CSP dichotomy for special triads, Proceedings of the American Mathematical Society vol. 137 (2009), 2921-2934
11.
Libor Barto, Marcin Kozik
Constraint Satisfaction Problems of Bounded Width, Proceedings of the 50th Symposium On Foundations of Computer Science, Focs'09 (2009), 595-603
10.
Libor Barto, Marcin Kozik, Miklós Maróti, Ralph McKenzie, Todd Niven
Congruence modularity implies cyclic terms for finite algebras, Algebra Universalis vol. 61 (2009), 365-380
9.
Jarosław Grytczuk, Sebastian Czerwiński, Wiktor Żelazny
Lucky labelings of graphs, Information Processing Letters vol. 109 (2009), 1078-1081
8.
Jarosław Grytczuk, Stanisław Niwczyk, Tomasz Bartnicki
Weight choosability of graphs, Journal of Graph Theory vol. 60 (2009), 242-256
7.
Paweł Idziak, Ralph McKenzie, Matthew Valeriote
The structure of locally finite varieties with polynomially many models, Journal of the American Mathematical Society vol. 22 (2009), 119-165
6.
Paweł Idziak, Keith Kearnes, Emil Kiss, Matthew Valeriote
Definable principal congruences and solvability, Annals of Pure and Applied Logic vol. 157 (2009), 30-49
5.
Paweł Idziak, Irena Katarzyna Korwin-Słomczyńska
Fregean Varieties, International Journal of Algebra and Computation vol. 19 (2009), 595–645
4.
Noga Alon, Jarosław Grytczuk, Michał Lasoń, Mateusz Michałek
Splitting necklaces and measurable colorings of the real line, Proceedings of the American Mathematical Society vol. 137 (2009), 1593-1599
3.
Paweł Waszkiewicz
On Domain Theory over Girard Quantales, Fundamenta Informaticae vol. 92 (2009), 169-192
2.
Antoine Genitrini, Jakub Kozik
Quantitative comparison of Intuitionistic and Classical logics - full propositional system, Lecture Notes in Computer Science vol. 5407 (2009), 280-294
1.
Rene David, Marek Zaionc
Counting proofs in propositional logic, Archive for Mathematical Logic vol. 48 (2009), 185-199