2.3 Laconicity and Construct Redundancy. A model M is called laconic w.r.t. an abstraction A if the interpretation mapping from M to A is injective, i.e., ...
確定! 回上一頁