Adam Krawczyk

dblp:45/4391 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
1since 2021 · last 2021
0009-0002-4851-6789ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 3 first-author · 1 since 2021
YearPublicationVenuePosition
2021 Games with finitely generated structures
Adam Krawczyk, Wieslaw Kubis
Ann. Pure Appl. Log.1
2000 Dualization of The Van Douwen Diagram
abstract
Abstract We make a more systematic study of the van Douwen diagram for cardinal coefficients related to combinatorial properties of partitions of natural numbers.
Jacek Cichon, Adam Krawczyk, Barbara Majcher-Iwanow, Bogdan Weglorz
J. Symb. Log.2
1999 The Complexity of Finding a Second Hmiltonian Cycle in Cubic Graphs
Adam Krawczyk
J. Comput. Syst. Sci.1
1990 A Data Structure Useful for Finding Hamiltonian Cycles
Marek Chrobak, Tomasz Szymacha, Adam Krawczyk
Theor. Comput. Sci.3
1981 Patterns of Projecta
abstract
Abstract Roughly speaking, a pattern is a finite sequence coding the set of natural numbers n for which the Σn+1 projectum is less than the Σn projectum for a given admissible ordinal. We prove that for each pattern there exists an ordinal realizing it. Several results on the orderings of patterns are given. We conclude the paper with remarks on Δn projecta. The main technique, used throughout the paper, is Jensen's Uniformisation Theorem.
Adam Krawczyk
J. Symb. Log.1