On the Complexity of Reasoning About Dynamic Policies

DOI10.1007/978-3-540-74915-8_28zbMath1179.03037OpenAlexW1525959920MaRDI QIDQ3608424

Stefan Göller

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_28

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70)

Related Items (2)

Separation logics and modalities: a survey ⋮ A Game Theoretic Approach to the Analysis of Dynamic Networks

This page was built for publication: On the Complexity of Reasoning About Dynamic Policies