A Linear Logic Approach to Consistency Preserving Updates (1996)

Cached

Download Links

by N. Bidoit , S. Cerrito , Ch. Froidevaux
Citations:2 - 1 self