Search results for: Hans van Ditmarsch
Bulletin of the Section of Logic > 2021 > 50 > 3 > 373-395
Artificial Intelligence > 2018 > 256 > C > 35-67
Theoretical Computer Science > 2017 > 693 > C > 1-12
Information and Computation > 2017 > 255 > P2 > 243-261
Journal of Applied Logic > 2017 > 20 > C > 1-31
Artificial Intelligence > 2017 > 242 > C > 80-106
Theoretical Computer Science > 2015 > 603 > Complete > 58-83
Information and Computation > 2014 > 239 > Complete > 303-339
Artificial Intelligence > 2014 > 208 > Complete > 18-40
Theoretical Computer Science > 2013 > 495 > Complete > 81-95
Journal of Applied Logic > 2010 > 8 > 1 > 62-81
Studia Logica > 2003 > 75 > 1 > 31-62