Logical Consecutions in Discrete Linear Temporal Logic
V. V. RybakovVolume:
70
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/27588418
Date:
December, 2005
File:
PDF, 1.40 MB
english, 2005