![]() | ![]() |
2005 | ||
---|---|---|
11 | EE | Michal Grabowski, Andrzej Szalas: A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. AWIC 2005: 183-189 |
2003 | ||
10 | EE | Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas: Towards a Framework for Approximate Ontologies. Fundam. Inform. 57(2-4): 147-165 (2003) |
1993 | ||
9 | Michal Grabowski: On the Status of Proving Program Properties in Effective Interpretations. Theor. Comput. Sci. 120(1): 69-81 (1993) | |
1989 | ||
8 | Michal Grabowski: Open Problems Related to Axiomatic Descriptions of Programs. Elektronische Informationsverarbeitung und Kybernetik 25(11/12): 619-624 (1989) | |
1988 | ||
7 | Michal Grabowski, Hardi Hungar: On the Existence of Effective Hoare Logics LICS 1988: 428-435 | |
1985 | ||
6 | Michal Grabowski: On the Relative Incompleteness of Logics for Total Correctness. Logic of Programs 1985: 118-127 | |
5 | Michal Grabowski: On Relative Completeness of Hoare Logics Information and Control 66(1/2): 29-44 (1985) | |
1984 | ||
4 | Michal Grabowski: On Relative Completeness of Programming Logics. POPL 1984: 258-261 | |
1980 | ||
3 | Michal Grabowski: Some model-theoretical properties of logic for programs with random control. Logic of Programs 1980: 148-155 | |
1978 | ||
2 | Michal Grabowski, Antoni Kreczmar: Dynamic Theories of Real and Complex Numbers. MFCS 1978: 239-249 | |
1976 | ||
1 | Michal Grabowski: A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets. MFCS 1976: 311-316 |
1 | Patrick Doherty | [10] |
2 | Hardi Hungar | [7] |
3 | Antoni Kreczmar | [2] |
4 | Witold Lukaszewicz | [10] |
5 | Andrzej Szalas | [10] [11] |