Propositional Dynamic Logic for Structured Data: A Graph Calculus Approach (unset title)

search

actions - event

state: published
- cancelpublished
- view workflow

cancelpublished Propositional Dynamic Logic for Structured Data: A Graph Calculus Approach

status will change from published to submitted

Event #165276 - latest update on 2022/05/17, created on 2012/11/29