Completeness of a first-order temporal logic with time-gaps
Matthias Baaz, Alexander Leitsch, Richard ZachVolume:
160
Year:
1996
Language:
english
Pages:
30
DOI:
10.1016/0304-3975(95)00107-7
File:
PDF, 2.30 MB
english, 1996