Instytut Informatyki Analitycznej - lista publikacji
Nadjednostka:
Podjednostki:
1-22 z 22.
2013
22.
Johannes Schmidt, Michał Wrona
The Complexity of Abduction for Equality Constraint Languages, Lipics–leibniz International Proceedings in Informatics vol. 23 (2013), 615-633
21.
Jean Cardinal, Kolja Knauer, Piotr Micek, Torsten Ueckerdt
Making triangles colorful, Journal of Computational Geometry vol. 4 (2013), 240-246
20.
Andrei Asinowski, Jean Cardinal, Nathann Cohen, Sébastien Collette, Günter Rote, Thomas Hackl, Michael Hoffman, Kolja Knauer, Stefan Langerman, Michał Lasoń, Piotr Micek, Torsten Ueckerdt
19.
Asymptotic properties of combinatory logic, Lecture Notes in Computer Science vol. 9076 (2013), 62-72
18.
Polynomial-time locality tests for finite rings, Journal of Algebra vol. 379 (2013), 441-452
17.
Andrew Suk, Bartosz Walczak
New bounds on the maximum number of edges in k-quasi-planar graphs vol. 8242 of Lecture Notes in Computer Science (2013), "Graph Drawing, 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers", Springer
16.
Tomasz Krawczyk, Arkadiusz Pawlik, Bartosz Walczak
Coloring triangle-free rectangular frame intersection graphs with O(log log n) colors vol. 8165 of Lecture Notes in Computer Science (2013), "Graph-Theoretic Concepts in Computer Science, 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers", Springer
15.
Coloring intersection graphs of arcwise connected sets in the plane vol. 16 of CRM Series (2013), "The Seventh European Conference on Combinatorics, Graph Theory and Applications, EuroComb 2013", Springer
14.
Arkadiusz Pawlik, Jakub Kozik, Tomasz Krawczyk, Michał Lasoń, Piotr Micek, William T. Trotter, Bartosz Walczak
13.
Katarzyna Grygiel, Pierre Lescanne
Counting and generating lambda terms, Journal of Functional Programming vol. 23(5) (2013), 594-628
12.
Gábor Czédli, Joanna Grygiel, Katarzyna Grygiel
Distributive lattices determined by weighted double skeletons, Algebra Universalis vol. 69(4) (2013), 313-326
11.
Bartłomiej Bosek, Kamil Kloch, Tomasz Krawczyk, Piotr Micek
On-Line Dimension of Semi-Orders, Order vol. 30(2) (2013), 593-615
10.
Jarosław Grytczuk, Piotr Szafruga, Michał Zmarz
Online version of the theorem of Thue, Information Processing Letters vol. 113 (2013), 193-195
9.
Jarosław Grytczuk, Jakub Kozik, Piotr Micek
New approach to nonrepetitive sequences, Random Structures and Algorithms vol. 42 (2013), 214-225
8.
Nonrepetitive choice number of trees, SIAM Journal on Discrete Mathematics vol. 27-1 (2013), 436-446
7.
Stefan Felsner, Tomasz Krawczyk, William T. Trotter
On-line dimension for posets excluding two long incomparable chains, Order vol. 30(1) (2013), 1-12
6.
Stefan Felsner, Kamil Kloch, Grzegorz Matecki, Piotr Micek
On-line Chain Partitions of Up-growing Semi-orders, Order vol. 30(1) (2013), 85-101
5.
Bartłomiej Bosek, Tomasz Krawczyk, Grzegorz Matecki
First-Fit Coloring of Incomparability Graphs, SIAM Journal on Discrete Mathematics vol. 27(1) (2013), 126-140
4.
3.
f-vectors implying vertex decomposability, Discrete and Computational Geometry vol. 49 (2013), 296-301
2.
Asymptotically almost all λ-terms are strongly normalizing, Logical Methods in Computer Science vol. 9 (1:02) (2013), 1-30
1.
How big is BCI fragment of BCK logic, Journal of Logic and Computation vol. 23(3) (2013), 673-691