Paul Gastin

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 66

Top Topics

Propositional Dynamic Logic

Mazurkiewicz Traces

Regular Languages

Top Venues

Publications