Instytut Informatyki Analitycznej - lista publikacji

Nadjednostka:

Podjednostki:

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

1989

3.
Maciej Ślusarek
A coloring algorithm for interval graphs, International Symposium on Mathematical Foundations of Computer Science [MFCS], (1989), 471-480
2.
Marek Zaionc
On the lambda definable higher-order boolean functionals, Fundamenta Informaticae vol. 12 (1989), 181-190
1.
Marek Zaionc
How To Define Functionals on Free Structures in Typed lambda Calculus, Lecture Notes in Computer Science vol. 379 (1989), 566-576