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