Volume 603

Theoretical Computer Science

Volume 603
1

A logic of plausible justifications

Schechter, L. Menasché
Journal:
Theoretical Computer Science
Year:
2015
Language:
english
File:
PDF, 467 KB
english, 2015
2

Logic, Language, Information and Computation (WoLLIC 2012)

Ong, Luke, de Queiroz, Ruy J.G.B.
Journal:
Theoretical Computer Science
Year:
2015
Language:
english
File:
PDF, 132 KB
english, 2015
4

The complexity of one-agent refinement modal logic

Bozzelli, Laura, van Ditmarsch, Hans, Pinchinat, Sophie
Journal:
Theoretical Computer Science
Year:
2015
Language:
english
File:
PDF, 817 KB
english, 2015
5

Editorial Board

Journal:
Theoretical Computer Science
Year:
2015
File:
PDF, 72 KB
2015