Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested 
Zero Tests

Haase, Christoph; Zetzsche, Georg

doi:10.1109/LICS.2019.8785850

Local TagsRelease HistoryDetailsSummary

Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests

Haase, C., & Zetzsche, G. (2019). Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1-14). Piscataway, NJ: IEEE. doi:10.1109/LICS.2019.8785850.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0005-D897-D Version Permalink: https://hdl.handle.net/21.11116/0000-0005-D898-C

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Haase, Christoph¹, Author
Zetzsche, Georg², Author

Affiliations:
1External Organizations, ou_persistent22
2Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society, ou_3031905

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2019Date issued: 2019

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Haase_LICS2019
DOI: 10.1109/LICS.2019.8785850

Degree: -

Event

show

hide

Title: 34th Annual ACM/IEEE Symposium on Logic in Computer Science

Place of Event: Vancouver, Canada

Start-/End Date: 2019-06-24 - 2019-06-27

Legal Case

show

Project information

show

Source 1

show

hide

Title: 34th Annual ACM/IEEE Symposium on Logic in Computer Science

Abbreviation : LICS 2019

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Piscataway, NJ : IEEE

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1 - 14 Identifier: ISBN: 978-1-7281-3608-0