Logic, Language, Information, and Computation
Springer International Publishing
Chapter title |
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties
|
---|---|
Chapter number | 19 |
Book title |
Logic, Language, Information, and Computation
|
Published by |
Springer, Cham, October 2021
|
DOI | 10.1007/978-3-030-88853-4_19 |
Book ISBNs |
978-3-03-088852-7, 978-3-03-088853-4
|
Authors |
Kontinen, Juha, Sandström, Max |