A generalization of ACP using Belnaps logic

Authors	A. Ponse M.B. van der Zwaag
Publication date	2007
Journal	The Journal of Logic and Algebraic Programming
Volume | Issue number	70
Pages (from-to)	222-235
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Article
Note	SSE0a
Published at	https://doi.org/10.1016/j.jlap.2006.08.006
Permalink to this page