Katedra Podstaw Informatyki - lista publikacji

Nadjednostka:

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

2012

5.
Dirk Hofmann, Paweł Waszkiewicz
A duality of quantale-enriched categories, Journal of Pure and Applied Algebra vol. 216 (2012), 1866-1878
4.
Antoine Genitrini, Jakub Kozik
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid, Annals of Pure and Applied Logic vol. 163 (2012), 875–887
3.
Pavel Klavík, Jan Kratochvíl, Tomasz Krawczyk, Bartosz Walczak
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
2.
Kolja Knauer, Piotr Micek, Bartosz Walczak
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
1.
Piotr Micek, Bartosz Walczak
Parity in graph sharing games, Discrete Mathematics vol. 312 (2012), 1788-1795