Instytut Informatyki Analitycznej - lista publikacji
Nadjednostka:
Podjednostki:
1-7 z 7.
2003
7.
Jerzy Jaromczyk, Andrzej Pezarski, Maciej Ślusarek
An optimal competitive algorithm for the minimal clique covering in circular arc graphs, European Workshop on Computational Geometry [EuroCG], (2003), 48-51
6.
5.
Semiretracts – a counterexample and some results , Theoretical Computer Science vol. 307 (2003), 117-127
4.
Asymptotic properties of logics, Schedae Informaticae vol. 12 (2003), 129-138
3.
Zofia Kostrzycka, Marek Zaionc
On the density of truth in Dummet logic, Bulletin of the Section of Logic vol. 32 (2003), 43-55
2.
Quantitative Continuous Domains, Applied Categorical Structures vol. 11 (2003), 41-67
1.
Statistics of implicational logic, Electronic Notes in Theoretical Computer Science vol. 84 (2003), 205–216