1. (100%) Observational Logic - R. Hennicker,M. Bidoit,Rolf Hennicker,Michel Bidoit
. We present an institution of observational logic which generalizes earlier approaches to observational systems specification in various ways. First, we introduce a notion of an observational
(ps) - 31-mar-2009