论文信息 - Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) - 字舞流文

Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401)

Georg Gottlob | Victor Vianu | Erich Grädel | Moshe Y. Vardi | G. Gottlob | E. Grädel | V. Vianu | MosheY. Vardi