Sufficient Conditions for First−Order and Datalog Rewritability in ELU

書誌詳細
主要な著者: Kaminski, M, Grau, B
フォーマット: Conference item
出版事項: 2013