The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups:
Abstract: "In this paper, efficient decision procedures for the boundedness, coverability and selfcoverability problems for commutative semigroups are obtained. These procedures require at most space 2[superscript cn], where n is the size of the problem instance, and c is some constant independ...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
1995
|
| Series: | Technische Universität <München>: TUM-I
9518 |
| Subjects: | |
| Summary: | Abstract: "In this paper, efficient decision procedures for the boundedness, coverability and selfcoverability problems for commutative semigroups are obtained. These procedures require at most space 2[superscript cn], where n is the size of the problem instance, and c is some constant independent of n. Furthermore, we show that this space requirement is inevitable: any decision procedure for these problems requires at least exponential space. Thus, we establish the exponential space completeness of the boundedness, coverability and selfcoverability problems for cummutative semigroups." |
| Physical Description: | 11 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010841158 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 960701s1995 gw t||| 00||| ger d | ||
| 016 | 7 | |a 947784144 |2 DE-101 | |
| 035 | |a (OCoLC)36404461 | ||
| 035 | |a (DE-599)BVBBV010841158 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91G | ||
| 088 | |a TUM I 9518 | ||
| 100 | 1 | |a Koppenhagen, Ulla |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups |c Ulla Koppenhagen ; Ernst W. Mayr |
| 264 | 1 | |a München |c 1995 | |
| 300 | |a 11 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9518 | |
| 520 | 3 | |a Abstract: "In this paper, efficient decision procedures for the boundedness, coverability and selfcoverability problems for commutative semigroups are obtained. These procedures require at most space 2[superscript cn], where n is the size of the problem instance, and c is some constant independent of n. Furthermore, we show that this space requirement is inevitable: any decision procedure for these problems requires at least exponential space. Thus, we establish the exponential space completeness of the boundedness, coverability and selfcoverability problems for cummutative semigroups." | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Abelian groups | |
| 650 | 4 | |a Covering spaces (Topology) | |
| 650 | 4 | |a Parallel processing (Electronic computers) |x Mathematical models | |
| 650 | 4 | |a Semigroups | |
| 700 | 1 | |a Mayr, Ernst W. |d 1950- |e Verfasser |0 (DE-588)109817923 |4 aut | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9518 |w (DE-604)BV006185376 |9 9518 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007246847 | ||
Record in the Search Index
| _version_ | 1804125328852910080 |
|---|---|
| any_adam_object | |
| author | Koppenhagen, Ulla Mayr, Ernst W. 1950- |
| author_GND | (DE-588)109817923 |
| author_facet | Koppenhagen, Ulla Mayr, Ernst W. 1950- |
| author_role | aut aut |
| author_sort | Koppenhagen, Ulla |
| author_variant | u k uk e w m ew ewm |
| building | Verbundindex |
| bvnumber | BV010841158 |
| ctrlnum | (OCoLC)36404461 (DE-599)BVBBV010841158 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01869nam a2200385 cb4500</leader><controlfield tag="001">BV010841158</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960701s1995 gw t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947784144</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36404461</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010841158</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9518</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Koppenhagen, Ulla</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups</subfield><subfield code="c">Ulla Koppenhagen ; Ernst W. Mayr</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">11 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9518</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper, efficient decision procedures for the boundedness, coverability and selfcoverability problems for commutative semigroups are obtained. These procedures require at most space 2[superscript cn], where n is the size of the problem instance, and c is some constant independent of n. Furthermore, we show that this space requirement is inevitable: any decision procedure for these problems requires at least exponential space. Thus, we establish the exponential space completeness of the boundedness, coverability and selfcoverability problems for cummutative semigroups."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abelian groups</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Covering spaces (Topology)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semigroups</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mayr, Ernst W.</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109817923</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9518</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9518</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007246847</subfield></datafield></record></collection> |
| id | DE-604.BV010841158 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:59:49Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007246847 |
| oclc_num | 36404461 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-91G DE-BY-TUM |
| physical | 11 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Koppenhagen, Ulla Verfasser aut The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups Ulla Koppenhagen ; Ernst W. Mayr München 1995 11 S. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9518 Abstract: "In this paper, efficient decision procedures for the boundedness, coverability and selfcoverability problems for commutative semigroups are obtained. These procedures require at most space 2[superscript cn], where n is the size of the problem instance, and c is some constant independent of n. Furthermore, we show that this space requirement is inevitable: any decision procedure for these problems requires at least exponential space. Thus, we establish the exponential space completeness of the boundedness, coverability and selfcoverability problems for cummutative semigroups." Mathematisches Modell Abelian groups Covering spaces (Topology) Parallel processing (Electronic computers) Mathematical models Semigroups Mayr, Ernst W. 1950- Verfasser (DE-588)109817923 aut Technische Universität <München>: TUM-I 9518 (DE-604)BV006185376 9518 |
| spellingShingle | Koppenhagen, Ulla Mayr, Ernst W. 1950- The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups Technische Universität <München>: TUM-I Mathematisches Modell Abelian groups Covering spaces (Topology) Parallel processing (Electronic computers) Mathematical models Semigroups |
| title | The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups |
| title_auth | The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups |
| title_exact_search | The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups |
| title_full | The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups Ulla Koppenhagen ; Ernst W. Mayr |
| title_fullStr | The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups Ulla Koppenhagen ; Ernst W. Mayr |
| title_full_unstemmed | The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups Ulla Koppenhagen ; Ernst W. Mayr |
| title_short | The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups |
| title_sort | the complexity of the boundedness coverability and selfcoverability problems for commutative semigroups |
| topic | Mathematisches Modell Abelian groups Covering spaces (Topology) Parallel processing (Electronic computers) Mathematical models Semigroups |
| topic_facet | Mathematisches Modell Abelian groups Covering spaces (Topology) Parallel processing (Electronic computers) Mathematical models Semigroups |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT koppenhagenulla thecomplexityoftheboundednesscoverabilityandselfcoverabilityproblemsforcommutativesemigroups AT mayrernstw thecomplexityoftheboundednesscoverabilityandselfcoverabilityproblemsforcommutativesemigroups |