English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  A Fine-Grained Hierarchy of Hard Problems in the Separated Fragment

Voigt, M. (2017). A Fine-Grained Hierarchy of Hard Problems in the Separated Fragment. In 32nd Annual ACM-IEEE Symposium on Logic in Computer Science (pp. 1-12). New York, NY: ACM. doi:10.1109/LICS.2017.8005094.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Voigt, Marco1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 201720172017
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: VoigtLICS2017
DOI: 10.1109/LICS.2017.8005094
 Degree: -

Event

show
hide
Title: 32nd Annual ACM-IEEE Symposium on Logic in Computer Science
Place of Event: Reykjavik, Island
Start-/End Date: 2017-06-20 - 2017-06-23

Legal Case

show

Project information

show

Source 1

show
hide
Title: 32nd Annual ACM-IEEE Symposium on Logic in Computer Science
  Abbreviation : LICS 2017
  Subtitle : 20-23 June 2017; Reykjavík, Iceland
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: New York, NY : ACM
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1 - 12 Identifier: ISBN: 978-1-5090-3019-4