Skip to main content

1985 | ReviewPaper | Buchkapitel

Nondeterministic Propositional Dynamic Logic with intersection is decidable

verfasst von : Ryszard Danecki

Erschienen in: Computation Theory

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …
Metadaten
Titel
Nondeterministic Propositional Dynamic Logic with intersection is decidable
verfasst von
Ryszard Danecki
Copyright-Jahr
1985
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/3-540-16066-3_5