CRITICAL REMARKS ON MASE MODEL OF CONCURRENCYSALWICKI A.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 397-405; BIBL. 20 REF.Conference Paper

ON ALGORITHMIC THEORY OF STACKSSALWICKI A.1978; PRACE I.P.I. P.A.N.; POL; DA. 1978; NO 337; 33 P.; ABS. RUS/POL; BIBL. 9 REF.Serial Issue

AXIOMS OF ALGORITHMIC LOGIC UNIVOCALLY DETERMINE SEMANTICS OF PROGRAMSSALWICKI A.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 552-561; BIBL. 25 REF.Conference Paper

LOGICS OF PROGRAMS AND THEIR APPLICATIONS. A SYMPOSIUM HELD IN POZNAN, POLAND ON AUGUST 23-29, 1980. PROCEEDINGSSALWICKI A.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; VI-324 P.; BIBL. DISSEM.Conference Paper

ALGORITHMIC THEORIES OF DATA STRUCTURESSALWICKI A.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 458-472; BIBL. 19 REF.Conference Paper