The undecidability of arbitrary arrow update logic

Theoretical Computer Science 2017 / 09 Vol. 693

The undecidability of arbitrary arrow update logic

van Ditmarsch, Hans, van der Hoek, Wiebe, Kuijer, Louwe B.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
693
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2017.07.018
Date:
September, 2017
File:
PDF, 404 KB
english, 2017
Conversion to is in progress
Conversion to is failed