Pałka, Michał H.
Author ID: | palka.michal-h |
Published as: | Pałka, Michał H.; Palka, Michal; Pałka, Michał more... |
Documents Indexed: | 2 Publications since 2009 |
1 Contribution as Editor | |
Co-Authors: | 7 Co-Authors with 3 Joint Publications |
58 Co-Co-Authors |
all
top 5
Co-Authors
0 | single-authored |
2 | Claessen, Koen |
1 | Arts, Thomas |
1 | Duregård, Jonas |
1 | Myreen, Magnus O. |
1 | Smallbone, Nicholas |
1 | Svensson, Hans |
1 | Wiger, Ulf |
Publications by Year
all
top 5
Cited by 15 Authors
Cited in 2 Serials
1 | Logical Methods in Computer Science |
1 | Journal of Logical and Algebraic Methods in Programming |
Cited in 1 Field
4 | Computer science (68-XX) |