The axiomatization of override and update

From MaRDI portal
Publication:975885

DOI10.1016/j.jal.2009.11.001zbMath1194.03020OpenAlexW1971094484MaRDI QIDQ975885

Julien Schmaltz, Frits W. Vaandrager, Jasper Berendsen, David N. Jansen

Publication date: 11 June 2010

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/83911




Related Items (9)


Uses Software


Cites Work


This page was built for publication: The axiomatization of override and update