Publikation
In: Rajeev Alur (Hrsg.). Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science (LICS-06) August 12-15 Seattle Washington United States Seiten 231-240 IEEE 2006.
@inproceedings{pub3916, author = { Schröder, Lutz and Pattinson, Dirk }, editor = { Alur, Rajeev }, title = {PSPACE Bounds for Rank 1 Modal Logics}, booktitle = {Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science (LICS-06), August 12-15, Seattle, Washington, United States}, year = {2006}, pages = {231--240}, publisher = {IEEE}, note = {Presentation slides available} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022