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