However, for P to be a WG-Log rule, we require that these subparts of P be patterns. Formally, a WG-Log rule r consists of two schemata Si and S2, ...
確定! 回上一頁