![](/img/cover-not-exists.png)
Interference logic = conditional logic + frame axiom
Luis Fariñas del Cerro, Andreas HerzigVolume:
9
Year:
1994
Language:
english
Pages:
12
DOI:
10.1002/int.4550090107
File:
PDF, 582 KB
english, 1994