Telecharger Cours

Transformational-Change-Assessment-Guide.pdf

The final form of the IDPL semantics follows Vermeulen 1994: it is a. 'tree based' incremental semantics for DPropL and DPL: the tree encodes update.



Download