Focussing, MALL and the Polynomial Hierarchy
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Focussing, MALL and the Polynomial Hierarchy. / Das, Anupam.
Automated reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. ed. / Didier Galmiche; Stephan Schulz; Roberto Sebastiani. Springer, 2018. p. 689-705 (Lecture Notes in Computer Science, Vol. 10900).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Das, A 2018, Focussing, MALL and the Polynomial Hierarchy. in D Galmiche, S Schulz & R Sebastiani (eds), Automated reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. Springer, Lecture Notes in Computer Science, vol. 10900, pp. 689-705, 9th International Joint Conference on
Automated Reasoning, Oxford, United Kingdom, 14/07/2018. https://doi.org/10.1007/978-3-319-94205-6_45
Automated Reasoning, Oxford, United Kingdom, 14/07/2018. https://doi.org/10.1007/978-3-319-94205-6_45
APA
Das, A. (2018). Focussing, MALL and the Polynomial Hierarchy. In D. Galmiche, S. Schulz, & R. Sebastiani (Eds.), Automated reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings (pp. 689-705). Springer. Lecture Notes in Computer Science Vol. 10900 https://doi.org/10.1007/978-3-319-94205-6_45
Vancouver
Das A. Focussing, MALL and the Polynomial Hierarchy. In Galmiche D, Schulz S, Sebastiani R, editors, Automated reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. Springer. 2018. p. 689-705. (Lecture Notes in Computer Science, Vol. 10900). https://doi.org/10.1007/978-3-319-94205-6_45
Author
Bibtex
@inproceedings{661882da789e429da2aaab6a2b460eee,
title = "Focussing, MALL and the Polynomial Hierarchy",
author = "Anupam Das",
year = "2018",
month = jun,
day = "30",
doi = "10.1007/978-3-319-94205-6_45",
language = "English",
isbn = "978-3-319-94204-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "689--705",
editor = "Galmiche, {Didier } and Schulz, {Stephan } and Roberto Sebastiani",
booktitle = "Automated reasoning",
address = "Switzerland",
note = "null ; Conference date: 14-07-2018 Through 17-07-2018",
}
RIS
TY - GEN
T1 - Focussing, MALL and the Polynomial Hierarchy
AU - Das, Anupam
PY - 2018/6/30
Y1 - 2018/6/30
U2 - 10.1007/978-3-319-94205-6_45
DO - 10.1007/978-3-319-94205-6_45
M3 - Article in proceedings
SN - 978-3-319-94204-9
T3 - Lecture Notes in Computer Science
SP - 689
EP - 705
BT - Automated reasoning
A2 - Galmiche, Didier
A2 - Schulz, Stephan
A2 - Sebastiani, Roberto
PB - Springer
Y2 - 14 July 2018 through 17 July 2018
ER -
ID: 222696068