Venue. Logic and Information Flow

Logic and Information Flow · Journal

1994

On action algebras kozen1994actionLogic and Information Flow · 1994
DOI
logic-and-information-flow venue entries/venues/logic-and-information-flow.hel