Katedra Podstaw Informatyki - lista publikacji
Nadjednostka:
1-4 z 4.
2009
4.
Periodic solutions of scalar differential equations without uniqueness, Boll. Unione Mat. Ital. (9) vol. 2(2) (2009), 445–448
3.
On Domain Theory over Girard Quantales, Fundamenta Informaticae vol. 92 (2009), 169-192
2.
Antoine Genitrini, Jakub Kozik
1.
Rene David, Marek Zaionc
Counting proofs in propositional logic, Archive for Mathematical Logic vol. 48 (2009), 185-199