• English
    • Deutsch
View Item 
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationen
  • View Item
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationen
  • View Item
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Complexity of Presburger arithmetic with fixed quantifier dimension

Thumbnail
Download
vts_7057_9871.pdf (111.8Kb)
5 Seiten
 
Veröffentlichung
2010-02-21
DOI
10.18725/OPARU-1685
Arbeitspapier


Authors
Schöning, Uwe
Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Ulm serial
Ulmer Informatik-Berichte
License
Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2
Abstract
N/A
Date created
1995
Subject Headings
Berechnungskomplexität [GND]
Presburger-Arithmetik [GND]
Computational complexity [LCSH]
Dewey Decimal Group
DDC 004 / Data processing & computer science

Metadata
Show full item record

Citation example

Schöning, Uwe (2010): Complexity of Presburger arithmetic with fixed quantifier dimension. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-1685

Other citation formats



About OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFundingThis CollectionFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Statistics

View Usage Statistics

About OPARU | Contact Us
Impressum | Privacy statement