AN EXPERIMENT WITH "EDINBURGH LCF"LESZCZYLOWSKI J.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 170-181; BIBL. 19 REF.Conference Paper

STRUCTURE-CONTEXT APPROACH TO MICROPROGRAM ANALYSIS.HANSEN I; LESZCZYLOWSKI J.1976; PRACE C.O. P.A.N.; POLSKA; DA. 1976; NO 256; PP. 1-16; ABS. POL. RUSSE; BIBL. 3 REF.Serial Issue

A SYSTEM FOR REASONING WITHIN AND ABOUT ALGEBRAIC SPECIFICATIONSLESZCZYLOWSKI J; WIRSING M.1982; LECT. NOTES. COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 257-282; BIBL. 3 P.Conference Paper

Logic programming with external procedures: introducing S-unificationLESZCZYLOWSKI, J; BONNIER, S; MALUSZYNSKI, J et al.Information processing letters. 1988, Vol 27, Num 3, pp 159-165, issn 0020-0190Article