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