| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 12 |      | Michal Grabowski, Andrzej Szalas: A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. AWIC 2005: 183-189 |
| 2003 | ||
| 11 | | Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas: Towards a Framework for Approximate Ontologies. Fundam. Inform. 57(2-4): 147-165 (2003) |
| 1993 | ||
| 10 | | Michal Grabowski: On the Status of Proving Program Properties in Effective Interpretations. Theor. Comput. Sci. 120(1): 69-81 (1993) |
| 1989 | ||
| 9 |  | Michal Grabowski: Open Problems Related to Axiomatic Descriptions of Programs. Elektronische Informationsverarbeitung und Kybernetik 25(11/12): 619-624 (1989) |
| 1988 | ||
| 8 | | Michal Grabowski, Hardi Hungar: On the Existence of Effective Hoare Logics LICS 1988: 428-435 |
| 1985 | ||
| 7 | | Michal Grabowski: On the Relative Incompleteness of Logics for Total Correctness. Logic of Programs 1985: 118-127 |
| 6 | | Michal Grabowski: On Relative Completeness of Hoare Logics Information and Control 66(1/2): 29-44 (1985) |
| 1984 | ||
| 5 | | Michal Grabowski: On Relative Completeness of Programming Logics. POPL 1984: 258-261 |
| 4 | | Michal Grabowski: Non-uniformity of dynamic logic - Extended abstract. Symposium on Computation Theory 1984: 91-97 |
| 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 | [11] |
| 2 | Hardi Hungar | [8] |
| 3 | Antoni Kreczmar | [2] |
| 4 | Witold Lukaszewicz | [11] |
| 5 | Andrzej Szalas | [11] [12] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page