Saturation-Based Decision Procedures for Extensions of the Guarded Fragment [PhD Thesis]
Yevgeny KazakovКатегорії:
Рік:
2006
Видавництво:
Universität des Saarlandes
Мова:
english
Сторінки:
315
Файл:
PDF, 2.98 MB
IPFS:
,
english, 2006