Sciweavers

Share
ENTCS
2006

A Generalization of ACP Using Belnap's Logic

10 years 10 months ago
A Generalization of ACP Using Belnap's Logic
ACP is combined with Belnap's four-valued logic via conditional composition (if
Alban Ponse, Mark van der Zwaag
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Alban Ponse, Mark van der Zwaag
Comments (0)
books