DMCA

Modular semantics and logics of classes (2003)

by Bernhard Reus
Venue:Computer Science Logic (CSL), volume 2803 of LNCS
Citations:11 - 2 self