سلسله مراتب موقتی زبانهای منظم: استدلال های مفقود شده برای اظهارات واسطه

چکیده و 1 مقدمه

2 مقدماتی

3 سلسله مراتب زمانی

4 نقشه رتبه بندی

5 اثر بهینه برای TL (AT)

6 نتیجه گیری و منابع

پیوست A. پیوست بخش 2 و پیوست B. پیوست بخش 3

پیوست C. پیوست بخش 4 و پیوست D. پیوست به بخش 5

پیوست C. پیوست بخش 4

ما اکنون پیشنهاد 27 را اثبات می کنیم.

پیوست D. پیوست بخش 5

این مقاله با مجوز عمل 4.0 در ARXIV تحت CC در دسترس است.

نویسندگان:

(1) توماس مکان ؛

(2) مارک زیتون.

Source link