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.

2005

5.
Paweł Waszkiewicz
Completeness and Compactness of Quantitative Domains, Lecture Notes in Computer Science vol. 3623 (2005), 341-351
4.
Paweł Waszkiewicz
Approximation Simply Characterized., Electronic Notes in Theoretical Computer Science vol. 140 (2005), 113-117
3.
Jakub Kozik
Conditional Densities of Regular Languages, Electronic Notes in Theoretical Computer Science (2005), 67-79
2.
Marek Zaionc
On the asymptotic density of tautologies in logic of implication and negation, Reports on Mathematical Logic vol. 39 (2005), 67-87
1.
Marek Zaionc
Probabilistic approach to the lambda definability for fourth order types, Electronic Notes in Theoretical Computer Science (2005), 41-54