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-5 z 5.

2007

5.
Witold Charatonik, Michał Wrona
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
4.
Marcin Kozik
Computationally and algebraically complex finite algebra membership problems, International Journal of Algebra and Computation vol. 17 (2007), 1635-1666]
3.
Lidia Badura, Marek Zaionc
Parametrizability by regular expressions for equations on words, Bulletin of the Section of Logic vol. 36 (2007), 79-93
2.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Classical and intuitionistic logic are asymptotically identical, Lecture Notes in Computer Science vol. 4646 (2007), 177-193
1.
Patrick Baier, Bartłomiej Bosek, Piotr Micek
On-line Chain Partitioning of Up-growing Interval Orders, Order vol. 24(1) (2007), 1-13