The complexity of presburger arithmetic with bounded quantifier alternation depth

✍ Scribed by Martin Fürer

• Publisher: Elsevier Science
• Year: 1982
• Tongue: English
• Weight: 683 KB
• Volume: 18
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(82)90115-3