Zespół Katedr i Zakładów Informatyki Matematycznej - lista publikacji
Nadjednostka:
Podjednostki:
1-200 z 226.
2017
226.
Coloring curves that cross a fixed curve vol. 77 of Leibniz International Proceedings in Informatics (2017), "33rd International Symposium on Computational Geometry (SoCG 2017)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
225.
224.
223.
222.
Uniform Cross-entropy Clustering, SCHEDAE INFORMATICAE vol. 25 (2017), 117-126
221.
220.
The Complexity of Minimal Inference Problem for Conservative Constraint Languages, PROCEEDINGS OF THE ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) (2017),
219.
Minimal Inference Problem over Finite Domains: The Landscape of Complexity, PROCEDINGS OF THE INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR) (2017),
218.
The Complexity of Counting Quantifiers on Equality Languages, THEOR COMPUT SCI vol. 670 (2017), 56–67
217.
Absorption in Universal Algebra and CSP, (2017), "The Constraint Satisfaction Problem: Complexity and Approximability", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
216.
Robust algorithms with polynomial loss for near-unanimity CSPs, PROCEEDINGS OF THE 28TH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS SODA'17 (2017), 340-357
215.
214.
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints vol. 10139 (Lecture Notes in Computer Science) (2017), "SOFSEM 2017: Current Trends in Theory and Practice of Computer Science, 43rd International Conference, Limerick, Ireland, January 16-20, 2017, Proceedings", Springer
213.
Boltzmann Samplers for Closed Simply-Typed Lambda Terms, LECTURE NOTES IN COMPUTER SCIENCE vol. 10137 (2017), 120-135
212.
On the Beer index of convexity and its variants, DISCRETE COMPUT GEOM vol. 57 (2017), 179-214
211.
Minors and dimension, J COMB THEORY B vol. 122 (2017), 668-689
210.
2016
209.
Nonrepetitive colouring via entropy compression, COMBINATORICA vol. Volume 36, Issue 6 (2016), 661-686
208.
Building Code with Dynamic Staging, THE COMPUTING RESEARCH REPOSITORY (2016), 11
207.
ManyDSL: A Host for Many Languages, THE COMPUTING RESEARCH REPOSITORY (2016), 14
206.
The Complexity of Counting Quantifiers on Equality Languages, LECTURE NOTES IN COMPUTER SCIENCE vol. 9709 (2016), 333--342
205.
Sparsity and dimension, (2016), "27th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2016), January 10-12, 2016, Arlington, VA, USA", Society for Industrial and Applied Mathematics (SIAM)
204.
A note on concurrent graph sharing games, INTEGERS vol. Volume 16, G1 (2016), 5
203.
Pathwidth and nonrepetitive list colorings, ELECTRON J COMB vol. Volume 23, Issue 4 (2016), 19
202.
The Partial Visibility Representation Extension Problem vol. 9801 (Lecture Notes in Computer Science) (2016), "Graph Drawing and Network Visualization, 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers", Springer
201.
The subpower membership problem for semigroups, INT J ALGEBR COMPUT vol. 26 (2016), 1435-1451
200.
Chip Games and Paintability, ELECTRON J COMB vol. 23 (3) (2016), 12
199.
Outer common tangents and nesting of convex hulls in linear time and constant workspace vol. 57 of Leibniz International Proceedings in Informatics (2016), "24th Annual European Symposium on Algorithms, ESA 2016, August 22-24, 2016, Aarhus, Denmark", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
198.
Distributed Tasks: Introducing Distributed Computing to Programming Competitions, OLYMPIADS IN INFORMATICS vol. 10 (2016), 177-194
197.
Counting Triangles in Large Graphs on GPU, 2016 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW) (2016), 740-746
196.
Harmonious coloring of uniform hypergraphs, APPL ANAL DISCR MATH vol. 10 (1) (2016), 73-87
195.
Weak consistency notions for all CSPs of bounded width, PROCEEDINGS OF THE 31ST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS'16) (2016), 633-641
194.
Robustly Solvable Constraint Satisfaction Problems, SIAM J COMPUT vol. 45(4) (2016), 1646–1669
193.
Graph drawings with one bend and few slopes vol. 9644 of Lecture Notes in Computer Science (2016), "LATIN 2016: Theoretical Informatics, 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings", Springer
192.
Improved algorithms for colorings of simple hypergraphs and applications, J COMB THEORY B vol. Volume 116 (2016), 312-332
191.
Multipass greedy coloring of simple uniform hypergraphs, RANDOM STRUCT ALGOR vol. Volume 48, Issue 1 (2016), 125-146
190.
Decomposition of multiple packings with subquadratic union complexity, COMB PROBAB COMPUT vol. 25 (2016), 145-153
189.
A natural counting of lambda terms, LECTURE NOTES IN COMPUTER SCIENCE vol. 9587 (2016), 183-194
188.
187.
Tree-width and dimension, COMBINATORICA vol. 36 (2016), 431-450
186.
Nonrepetitive colorings of line arrangements, EUR J COMBIN vol. 51 (2016), 275-279
185.
On the Duality of Semiantichains and Unichain Coverings, ORDER vol. 33 (1) (2016), 29-38
2015
184.
Algebraic Properties of Valued Constraint Satisfaction Problem, PROCEEDINGS OF 42ND INTERNATIONAL COLLOQUIUM, ICALP 2015 (2015), 846-858
183.
On-line coloring between two lines vol. 34 of Leibniz International Proceedings in Informatics (2015), "31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
182.
181.
Asymmetric coloring games on incomparability graphs, ELECTRONIC NOTES IN DISCRETE MATHEMATICS vol. 49 (2015), 803-811
180.
179.
On the Beer index of convexity and its variants vol. 34 of Leibniz International Proceedings in Informatics (2015), "31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
178.
A note on random greedy coloring of uniform hypergraphs, RANDOM STRUCT ALGOR vol. 47 (2015), 407-413
177.
Mal’tsev conditions, lack of absorption, and solvability, ALGEBR UNIV vol. 74 (2015), 185-206
176.
Characterizations of several Maltsev conditions, ALGEBR UNIV vol. 73 (2015), 205-224
175.
How to Play Thue Games, THEOR COMPUT SCI vol. 582 (2015), 83-88
174.
A note on locality of algebras, J ALGEBRA vol. 433 (2015), 231-242
173.
172.
Avoider-Enforcer star games, DISCRETE MATH THEOR vol. 17(1) (2015), 145-160
171.
The strong chromatic index of sparse graphs, INFORM PROCESS LETT vol. 115 (2015), 326–330
170.
169.
168.
Asymptotic properties of combinatory logic, LECTURE NOTES IN COMPUTER SCIENCE vol. 9076 (2015), 62-72
167.
Minors and dimension, (2015), "26th Annual ACM-SIAM Symposium on Discrete Algorithms, January 4-6, 2015, San Diego, California, USA", Society for Industrial and Applied Mathematics (SIAM)
166.
165.
164.
Finitely forcible graphons and permutons, J COMB THEORY B vol. 110 (2015), 112-135
2014
163.
Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems, LECTURE NOTES IN COMPUTER SCIENCE vol. 8634 (Springer) (2014), 535--546
162.
Local-to-Global Consistency Implies Tractability of Abduction, PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (2014), 1128--1134
161.
Tractability of quantified temporal constraints to the max, INT J ALGEBR COMPUT vol. 24 (2014), 1141--1156
160.
Counting Terms in the Binary Lambda Calculus, DMTCS PROCEEDINGS - 25TH INTERNATIONAL CONFERENCE ON PROBABILISTIC, COMBINATORIAL AND ASYMPTOTIC METHODS FOR THE ANALYSIS OF ALGORITHMS vol. DMTCS-HAL Proceedings Series (2014), 13
159.
158.
An on-line competitive algorithm for coloring P_8-free bipartite graphs, (2014), "Algorithms and Computation -- 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings", Springer
157.
Lower bounds for on-line graph colorings vol. 8889 (Lecture Notes in Computer Science) (2014), "Algorithms and Computation, 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings", Springer
156.
Making octants colorful, and related covering decomposition problems, (2014), "Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2014)", Society for Industrial and Applied Mathematics (SIAM)
155.
Making octants colorful, and related covering decomposition problems, SIAM J DISCRETE MATH vol. 28-4 (2014), 1948-1959
154.
Constraint Satisfaction Problems Solvable by Local Consistency Methods, J ACM vol. 61 (2014), article no. 3
153.
A note on blocks of skeleton tolerances, ACTA MATH HUNG vol. 143(1) (2014), 176-184
152.
Online bipartite matching in offline time, (2014), "55th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2014, October 18-21, 2014, Philadelphia, PA, USA", Institute of Electrical and Electronics Engineers (IEEE)
151.
Interval edge-colorings of K_{1,m,n}, DISCRETE APPL MATH vol. 174 (2014), 140-145
150.
149.
An extremal problem on crossing vectors, J COMB THEORY A vol. 128 (2014), 41-55
148.
Coloring relatives of interval overlap graphs via on-line games vol. 8572 of Lecture Notes in Computer Science (2014), "Automata, Languages, and Programming, 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I", Springer
147.
Outerstring graphs are χ-bounded, (2014), "30th Annual Symposium on Computational Geometry, SoCG 2014, June 8-11, 2014, Kyoto, Japan", Association for Computing Machinery (ACM)
146.
145.
Outerplanar graph drawings with few slopes, COMP GEOM-THEOR APPL vol. 47 (2014), 614-624
144.
Towards an on-line version of Ohba’s conjecture, EUR J COMBIN vol. 36 (2014), 110-121
143.
Bartłomiej Bosek, Jarosław Grytczuk, Grzegorz Matecki, Sebastian Czerwiński, Tomasz Bartnicki, Wiktor Żelazny
Additive Coloring of Planar Graphs, GRAPH COMBINATOR vol. 30(5) (2014), 1087-1098
2013
142.
The Complexity of Abduction for Equality Constraint Languages, LIPICS–LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS vol. 23 (2013), 615--633
141.
Making triangles colorful, JOURNAL OF COMPUTATIONAL GEOMETRY vol. 4 (2013), 240-246
140.
139.
Polynomial-time locality tests for finite rings, J ALGEBRA vol. 379 (2013), 441-452
138.
On interval edge-colorings of complete tripartite graphs, COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT) (2013), 1-3
137.
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
136.
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
135.
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
134.
133.
Counting and generating lambda terms, J FUNCT PROGRAM vol. 23(5) (2013), 594-628
132.
Distributive lattices determined by weighted double skeletons, ALGEBR UNIV vol. 69(4) (2013), 313-326
131.
On-Line Dimension of Semi-Orders, ORDER vol. 30(2) (2013), 593-615
130.
Online version of the theorem of Thue, INFORM PROCESS LETT vol. 113 (2013), 193-195
129.
New approach to nonrepetitive sequences, RANDOM STRUCT ALGOR vol. 42 (2013), 214-225
128.
Nonrepetitive choice number of trees, SIAM J DISCRETE MATH vol. 27-1 (2013), 436-446
127.
On-line dimension for posets excluding two long incomparable chains, ORDER vol. 30(1) (2013), 1-12
126.
On-line Chain Partitions of Up-growing Semi-orders, ORDER vol. 30(1) (2013), 85-101
125.
First-Fit Coloring of Incomparability Graphs, SIAM J DISCRETE MATH vol. 27(1) (2013), 126-140
124.
123.
f-vectors implying vertex decomposability, DISCRETE COMPUT GEOM vol. 49 (2013), 296-301
122.
Asymptotically almost all λ-terms are strongly normalizing, LOG METH COMPUT SCI vol. 9 (1:02) (2013), 1-30
121.
How big is BCI fragment of BCK logic, J LOGIC COMPUT vol. 23(3) (2013), 673-691
2012
120.
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction, 19TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (2012), 99--106
119.
Equivalence Constraint Satisfaction Problems, LIPICS - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS (2012), 122--136
118.
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn, LECTURE NOTES IN COMPUTER SCIENCE vol. 7514 (2012), 704--719
117.
High performance automatic number plate recognition in video streams, PROCEEDINGS OF 3RD INTERNATIONAL CONFERENCE ON IMAGE PROCESSING THEORY, TOOLS AND APPLICATIONS (IEEE-IPTA 2012) (2012), 68-73
116.
High performance GPGPU based system for matching people in a live video feed, (2012), "Proceedings of 3rd International Conference on Image Processing Theory, Tools and Applications (IEEE-IPTA 2012)", Institute of Electrical and Electronics Engineers (IEEE)
115.
Real Time Object Tracking on GPGPU, PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS vol. 2 (2012), 303-310
114.
Robust Satisfiability of Constraint Satisfaction Problems, PROCEEDINGS OF THE 44TH ACM SYMPOSIUM ON THEORY OF COMPUTING, STOC'12 (2012), 931-940
113.
Near unanimity constraints have bounded pathwidth duality, PROCEEDINGS OF THE 27TH IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE LICS'12 (2012), 125-134
112.
Absorbing subalgebra, cyclic terms and the Constraint Satisfaction Problem, LOG METH COMPUT SCI vol. 20 (2012), paper no. 7
111.
On the maximum number of five-cycles in a triangle-free graph, J COMB THEORY B vol. 102 (2012), 1061-1066
110.
Indicated colorings of graphs, DISCRETE MATH vol. 312 (2012), 3467-3472
109.
A duality of quantale-enriched categories, J PURE APPL ALGEBRA vol. 216 (2012), 1866-1878
108.
107.
Extending partial representations of function graphs and permutation graphs vol. 7501 of Lecture Notes in Computer Science (2012), "Algorithms – ESA 2012, 20th Annual European Symposium on Algorithms, Ljubljana, Slovenia, September 10-12, 2012, Proceedings", Springer
106.
Outerplanar graph drawings with few slopes vol. 7434 of Lecture Notes in Computer Science (2012), "Computing and Combinatorics, 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings", Springer
105.
Parity in graph sharing games, DISCRETE MATH vol. 312 (2012), 1788-1795
104.
103.
On-line version of Rabinovitch theorem for proper intervals, DISCRETE MATH vol. 23 (2012), 3426-3436
102.
On-Line Chain Partitions of Orders: A Survey, ORDER vol. 29 (2012), 49-73
2011
101.
Nonrepetitive list colourings of paths, RANDOM STRUCT ALGOR vol. 38 (2011), 162-173
100.
99.
Approximation in quantale-enriched categories., TOPOL APPL vol. 158 (2011), 963-977
98.
The duality of generalized metric spaces., TOPOL APPL vol. 158 (2011), 2371-2381
97.
The formal ball model for Q-categories., MATH STRUCT COMP SCI vol. 21 (2011), 41-64
96.
95.
How to eat 4/9 of a pizza, DISCRETE MATH vol. 311 (2011), 1635-1645
94.
A graph-grabbing game, COMB PROBAB COMPUT vol. 20 (2011), 623-629
93.
Forbidden structures for efficient First-Fit chain partitioning (extended abstract), ELECTRONIC NOTES IN DISCRETE MATHEMATICS vol. 38 (2011), 173-179
92.
Mr. Paint and Mrs. Correct go fractional, ELECTRON J COMB vol. 18 (1) (2011), 8
2010
91.
Term equation satisfiability over finite algebras, INT J ALGEBR COMPUT vol. 20(8) (2010), 1001-1020
90.
Cyclic terms for SD(V) varieties revisited, ALGEBR UNIV vol. 64 (2010), 137-142
89.
New conditions for Taylor varieties and CSP, PROCEEDINGS OF THE 25TH IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE LICS'10 (2010), 100-109
88.
Tractability and learnabilty arising from algebras with few subpowers, SIAM J COMPUT vol. 39 (2010), 3023-3037
87.
Varieties with few subalgebras of powers, T AM MATH SOC vol. 362 (2010), 1445-1473
86.
Common patterns for metric and ordered fixed point theorems, IN PROCEEDINGS OF THE 7TH WORKSHOP ON FIXED POINTS IN COMPUTER SCIENCE (2010), 83-87
85.
The limit-colimit coincidence theorem for Q-categories, MATH STRUCT COMP SCI vol. 158 (2010), 267-284
84.
Dynamic Threshold Strategy for Universal Best Choice Problem, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS vol. AM (2010), 439–452
83.
A simple representation of subwords of the Fibonacci word, INFORM PROCESS LETT vol. 110 (2010), 956-960
82.
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)
81.
First-Fit Algorithm for the On-Line Chain Partitioning Problem, SIAM J DISCRETE MATH vol. 23 (2010), 1992-1999
80.
Tautologies over implication with negative literals, MATH LOGIC QUART vol. 56 (2010), 388-396
2009
79.
Periodic solutions of scalar differential equations without uniqueness, BOLL. UNIONE MAT. ITAL. (9) vol. 2(2) (2009), 445–448
78.
A 2EXPTIME Complete Varietal Membership Problem, SIAM J COMPUT vol. 6 (2009), 2443-2467
77.
76.
Congruence distributivity implies bounded width, SIAM J COMPUT vol. 39 (2009), 1531-1542
75.
CSP dichotomy for special triads, P AM MATH SOC vol. 137 (2009), 2921-2934
74.
Constraint Satisfaction Problems of Bounded Width, PROCEEDINGS OF THE 50TH SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, FOCS'09 (2009), 595-603
73.
Congruence modularity implies cyclic terms for finite algebras, ALGEBR UNIV vol. 61 (2009), 365-380
72.
Lucky labelings of graphs, INFORM PROCESS LETT vol. 109 (2009), 1078-1081
71.
Weight choosability of graphs, J GRAPH THEOR vol. 60 (2009), 242-256
70.
69.
Definable principal congruences and solvability, ANN PURE APPL LOGIC vol. 157 (2009), 30-49
68.
Fregean Varieties, INT J ALGEBR COMPUT vol. 19 (2009), 595–645
67.
Splitting necklaces and measurable colorings of the real line, P AM MATH SOC vol. 137 (2009), 1593-1599
66.
On Domain Theory over Girard Quantales, FUND INFORM vol. 92 (2009), 169-192
65.
64.
Counting proofs in propositional logic, ARCH MATH LOGIC vol. 48 (2009), 185-199
2008
63.
62.
Quantified Positive Temporal Constraints, LECTURE NOTES IN COMPUTER SCIENCE vol. 5213 (2008), 94--108
61.
A finite set of functions with an EXPTIME-complete composition problem, THEOR COMPUT SCI vol. 407 (2008), 330-341
60.
The subdirectly irreducible algebras in the variety generated by graph algebras, ALGEBR UNIV vol. 58 (2008), 229-242
59.
Graphs, polymorphisms and the complexity of homomorphism problems, PROCEEDINGS OF THE 40TH ACM SYMPOSIUM ON THEORY OF COMPUTING, STOC'08 (2008), 789-796
58.
Nonrepetitive colorings of trees, DISCRETE MATH vol. 307 (2008), 163-172
57.
The game of arboricity, DISCRETE MATH vol. 308 (2008), 1388-1393
56.
A note on the game chromatic index of graphs, GRAPH COMBINATOR vol. 24 (2008), 1-4
55.
Breaking the rhythm on graphs, DISCRETE MATH vol. 308 (2008), 1375-1380
54.
53.
Thue type problems for graphs, points, and numbers, DISCRETE MATH vol. 308 (2008), 4419-4429
52.
Invisible runners in finite fields, INFORM PROCESS LETT vol. 108 (2008), 64-67
51.
On-line Ramsey numbers for paths and stars, DISCRETE MATH THEOR vol. 10 (2008), 63-74
50.
On-line coloring of P_5-free graphs, ACTA INFORM vol. 45 (2008), 79-91
49.
On the density and the structure of the Peirce-like formulae, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS (2008), 461-474
48.
Subcritical pattern languages for and/or trees, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS (2008), 437–448
47.
Asymptotic densities in logic and type theory, STUDIA LOGICA vol. 88 (2008), 385-403
46.
45.
Optimal Orientation On-line, LECTURE NOTES IN COMPUTER SCIENCE vol. 4910 (2008), 271-279
2007
44.
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices, 37TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, ISMVL 2007 vol. IEEE Computer Society (2007), 21
43.
Computationally and algebraically complex finite algebra membership problems, INT J ALGEBR COMPUT vol. 17 (2007), 1635-1666]
42.
41.
40.
On-line Chain Partitioning of Up-growing Interval Orders, ORDER vol. 24 (2007), 1-13
2006
39.
An algorithmic approach to the problem of a semiretract base, THEOR COMPUT SCI vol. 369 (2006), 314-322
38.
Partial metrisability of continuous posets, MATH STRUCT COMP SCI vol. 16 (2006), 359-372
37.
Undecidable problems concerning densities of languages, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS (2006), 69-76
36.
On-line Coloring of I_s-free graphs and co-planar graphs, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS vol. AF (2006), 61-68
35.
Probability distribution for simple tautologies, THEOR COMPUT SCI vol. 355 (2006), 243-260
34.
On-line adaptive chain covering of upgrowing posets, DISCRETE MATHEMATICS & THEORETICAL COMPUTER SCIENCE PROCEEDINGS vol. AF (2006), 37-48
2005
33.
An automaton that recognizes the base of a semiretract, WORDS 2005, 5-TH INTERNATIONAL CONFERENCE ON WORDS (2005), 235-247
32.
Generative Complexity in Algebra, MEM AM MATH SOC vol. 175 (2005), 1-168
31.
On-line coloring and cliques covering for K_st-free graphs, ACTA INFORM vol. 42 (2005), 1-20
30.
Completeness and Compactness of Quantitative Domains, LECTURE NOTES IN COMPUTER SCIENCE vol. 3623 (2005), 341-351
29.
Approximation Simply Characterized., ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE vol. 140 (2005), 113-117
28.
Conditional Densities of Regular Languages, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005), 67-79
Przejdź do strony: