Observational logic (1999)

View PDF

Download Links

by Rolf Hennicker , Michel Bidoit
Venue:IN ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST'98
Citations:60 - 10 self

Document Versions

Observational logic –Rolf Hennicker, Michel Bidoit — 1999 — IN ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST'98
Constructor-based Observational Logic –Michel Bidoit , Rolf Hennicker — 2005