Świda, Oskar
Documents Indexed: | 2 Publications since 2008 |
Co-Authors: | 2 Co-Authors with 2 Joint Publications |
22 Co-Co-Authors |
Co-Authors
0 | single-authored |
2 | Mirkowska, Grazyna |
2 | Salwicki, Andrzej |
Serials
2 | Fundamenta Informaticae |
Publications by Year
Cited by 1 Author
1 | Bancerek, Grzegorz |
Cited in 1 Serial
1 | Formalized Mathematics |
Cited in 1 Field
1 | Mathematical logic and foundations (03-XX) |