Focussing, MALL and the Polynomial Hierarchy

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Anupam Das
Original languageEnglish
Title of host publicationAutomated reasoning : 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings
EditorsDidier Galmiche, Stephan Schulz, Roberto Sebastiani
PublisherSpringer
Publication date30 Jun 2018
Pages689-705
Chapter45
ISBN (Print)978-3-319-94204-9
ISBN (Electronic)978-3-319-94205-6
DOIs
Publication statusPublished - 30 Jun 2018
Event9th International Joint Conference on
Automated Reasoning - Oxford, United Kingdom
Duration: 14 Jul 2018 → 17 Jul 2018

Conference

Conference9th International Joint Conference on
Automated Reasoning
LandUnited Kingdom
ByOxford
Periode14/07/2018 → 17/07/2018
SeriesLecture Notes in Computer Science
Volume10900
ISSN0302-9743

ID: 222696068