Reasoning about update logic / D.J.N. van Eijck, F.-J. de Vries
mainEntity
Reasoning about update logic / D.J.N. van Eijck, F.-J. de Vries
author
contributor
inLanguage
mainEntityOfPage
name
Reasoning about update logic
numberOfPages
publication
sameAs
label
Reasoning about update logic / D.J.N. van Eijck, F.-J. de Vries