|
|||||
|
|
On the parameterized complexity of non-monotonic logics |
|
| Authors: | Arne Meier Irina Schindler Johannes Schmidt Michael Thomas Heribert Vollmer |
| Institution: | 1. Institut für Theoretische Informatik, Gottfried Wilhelm Leibniz Universit?t Hannover, Appelstrasse 4, 30167, Hannover, Germany 2. Department of Computer and Information Science, Link?pings Universitet, 581 83, Link?Ping, Sweden |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |