Title information : The G-calculus based compositional rule of inference Variant heading : \q12*stu_us_auth*1 stu74869 \q \q1013 stu_us_auth*stu74869 \d Takács Márta \q  In : \q12**1 stu158732 \q %continue : INES 2005 : %continue : . s.69-73 Document kind : článok zo zborníka References : \q2479**1 stu_us_cat*stu158733*amg \q (1) - monografia