|
|||||
|
|
Modal definability of first-order formulas with free variables and query answering |
|
| Authors: | Stanislav Kikot Evgeny Zolin |
| Affiliation: | 1. Department of Computer Science and Information Systems, Birkbeck College, University of London, London, WC1E 7HX, United Kingdom;2. Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Moscow, 119 991, Russia |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |