Michal Grabowski Some model-theoretical properties of logic for programs with random control. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1980, pp:148-155 [Conf]
Michal Grabowski On the Relative Incompleteness of Logics for Total Correctness. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1985, pp:118-127 [Conf]
Michal Grabowski A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets. [Citation Graph (0, 0)][DBLP] MFCS, 1976, pp:311-316 [Conf]
Michal Grabowski Open Problems Related to Axiomatic Descriptions of Programs. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:11/12, pp:619-624 [Journal]
Michal Grabowski On the Status of Proving Program Properties in Effective Interpretations. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:120, n:1, pp:69-81 [Journal]
Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP