F.L. and M.K. were supported by the German Research Foundation (DFG) under grant DI 435/5-1
History
School
Science
Department
Computer Science
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume
8476 LNCS
Pages
176 - 189
Citation
FLEISCHER, L., KUFLEITNER, M. and LAUSER, A., 2014. Block products and nesting negations in FO2. IN: Hirsch, E. ...et al. (eds.) Computer Science - Theory and Applications. 9th International Computer Science Symposium in Russia, (CSR 2014), Moscow, Russia, June 7-11, 2014, Proceedings. Chaim: Springer, pp. 176-189.
This work is made available according to the conditions of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) licence. Full details of this licence are available at: https://creativecommons.org/licenses/by-nc-nd/4.0/
Publication date
2014
Notes
This is a pre-copyedited version of a contribution published in Hirsch, E. ...et al. (eds.) Computer Science - Theory and Applications. 9th International Computer Science Symposium in Russia, (CSR 2014), published by Springer International. The definitive authenticated version is available online via https://doi.org/10.1007/978-3-319-06686-8_14