Computational Complexity of Solving Equation Systems:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Cham [u.a.]
Springer International Publishing
2015
|
Ausgabe: | 1st ed. 2015 |
Schriftenreihe: | SpringerBriefs in Philosophy
|
Schlagworte: | |
Online-Zugang: | BTU01 FHA01 FHI01 FHM01 FHN01 FKE01 FLA01 FRO01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online-Ressource (IX, 64 p. 1 illus) |
ISBN: | 9783319217505 |
ISSN: | 2211-4548 |
DOI: | 10.1007/978-3-319-21750-5 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV042730223 | ||
003 | DE-604 | ||
005 | 20160502 | ||
007 | cr|uuu---uuuuu | ||
008 | 150803s2015 |||| o||u| ||||||eng d | ||
020 | |a 9783319217505 |c Online |9 978-3-319-21750-5 | ||
024 | 7 | |a 10.1007/978-3-319-21750-5 |2 doi | |
035 | |a (OCoLC)961420352 | ||
035 | |a (DE-599)BVBBV042730223 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-355 |a DE-739 |a DE-703 |a DE-29 |a DE-19 |a DE-706 |a DE-473 |a DE-20 |a DE-Aug4 |a DE-573 |a DE-859 |a DE-860 |a DE-M347 |a DE-92 |a DE-861 |a DE-634 | ||
082 | 0 | |a 005.1 |2 23 | |
100 | 1 | |a Broniek, Przemysław |e Verfasser |4 aut | |
245 | 1 | 0 | |a Computational Complexity of Solving Equation Systems |c by Przemysław Broniek |
250 | |a 1st ed. 2015 | ||
264 | 1 | |a Cham [u.a.] |b Springer International Publishing |c 2015 | |
300 | |a 1 Online-Ressource (IX, 64 p. 1 illus) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a SpringerBriefs in Philosophy |x 2211-4548 | |
650 | 4 | |a Computer science | |
650 | 4 | |a Logic | |
650 | 4 | |a Computer software | |
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 4 | |a Computer Science | |
650 | 4 | |a Algorithm Analysis and Problem Complexity | |
650 | 4 | |a Mathematical Logic and Foundations | |
650 | 4 | |a Informatik | |
776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-21749-9 |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-21750-5 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161254&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-SCS | ||
940 | 1 | |q ZDB-2-SCS_2015 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-028161254 | ||
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l FHI01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l FKE01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l FLA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l FRO01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l UBY01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-21750-5 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804174941594058752 |
---|---|
adam_text | COMPUTATIONAL COMPLEXITY OF SOLVING EQUATION SYSTEMS
/ BRONIEK, PRZEMYSLAW
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ACKNOWLEDGMENTS
CHAPTER 1. INTRODUCTION
CHAPTER 2. UNARY ALGEBRAS
CHAPTER 3. REDUCING CSP TO SYSTERMSAT OVER UNARY ALGEBRAS
CHAPTER 4. PARTIAL CHARACTERIZATIONS
CHAPTER 5. CONCLUSIONS AND OPEN PROBLEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
COMPUTATIONAL COMPLEXITY OF SOLVING EQUATION SYSTEMS
/ BRONIEK, PRZEMYSLAW
: 2015
ABSTRACT / INHALTSTEXT
THIS VOLUME CONSIDERS THE COMPUTATIONAL COMPLEXITY OF DETERMINING
WHETHER A SYSTEM OF EQUATIONS OVER A FIXED ALGEBRA A HAS A SOLUTION. IT
EXAMINES IN DETAIL THE TWO PROBLEMS THIS LEADS TO: SYSTERMSAT(A) AND
SYSPOLSAT(A), IN WHICH EQUATIONS ARE BUILT OUT OF TERMS OR POLYNOMIALS,
RESPECTIVELY. THE BOOK CHARACTERIZES THOSE ALGEBRAS FOR WHICH SYSPOLSAT
CAN BE SOLVED IN A POLYNOMIAL TIME. SO FAR, STUDIES AND THEIR OUTCOMES
HAVE NOT COVERED ALGEBRAS THAT GENERATE A VARIETY ADMITTING TYPE 1 IN
THE SENSE OF TAME CONGRUENCE THEORY. SINCE UNARY ALGEBRAS ADMIT ONLY
TYPE 1, THIS BOOK FOCUSES ON THESE ALGEBRAS TO TACKLE THE MAIN PROBLEM.
IT DISCUSSES SEVERAL ASPECTS OF UNARY ALGEBRAS AND PROVES THAT THE
CONSTRAINT SATISFACTION PROBLEM FOR RELATIONAL STRUCTURES IS
POLYNOMIALLY EQUIVALENT TO SYSTERMSAT OVER UNARY ALGEBRAS. THE BOOK’S
FINAL CHAPTERS DISCUSS PARTIAL CHARACTERIZATIONS, PRESENT CONCLUSIONS,
AND DESCRIBE THE PROBLEMS THAT ARE STILL OPEN
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author | Broniek, Przemysław |
author_facet | Broniek, Przemysław |
author_role | aut |
author_sort | Broniek, Przemysław |
author_variant | p b pb |
building | Verbundindex |
bvnumber | BV042730223 |
collection | ZDB-2-SCS |
ctrlnum | (OCoLC)961420352 (DE-599)BVBBV042730223 |
dewey-full | 005.1 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.1 |
dewey-search | 005.1 |
dewey-sort | 15.1 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
doi_str_mv | 10.1007/978-3-319-21750-5 |
edition | 1st ed. 2015 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03588nmm a2200661zc 4500</leader><controlfield tag="001">BV042730223</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160502 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319217505</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21750-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21750-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)961420352</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730223</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Broniek, Przemysław</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational Complexity of Solving Equation Systems</subfield><subfield code="c">by Przemysław Broniek</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2015</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 64 p. 1 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">SpringerBriefs in Philosophy</subfield><subfield code="x">2211-4548</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-21749-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161254&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161254</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-21750-5</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV042730223 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:08:24Z |
institution | BVB |
isbn | 9783319217505 |
issn | 2211-4548 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161254 |
oclc_num | 961420352 |
open_access_boolean | |
owner | DE-355 DE-BY-UBR DE-739 DE-703 DE-29 DE-19 DE-BY-UBM DE-706 DE-473 DE-BY-UBG DE-20 DE-Aug4 DE-573 DE-859 DE-860 DE-M347 DE-92 DE-861 DE-634 |
owner_facet | DE-355 DE-BY-UBR DE-739 DE-703 DE-29 DE-19 DE-BY-UBM DE-706 DE-473 DE-BY-UBG DE-20 DE-Aug4 DE-573 DE-859 DE-860 DE-M347 DE-92 DE-861 DE-634 |
physical | 1 Online-Ressource (IX, 64 p. 1 illus) |
psigel | ZDB-2-SCS ZDB-2-SCS_2015 |
publishDate | 2015 |
publishDateSearch | 2015 |
publishDateSort | 2015 |
publisher | Springer International Publishing |
record_format | marc |
series2 | SpringerBriefs in Philosophy |
spelling | Broniek, Przemysław Verfasser aut Computational Complexity of Solving Equation Systems by Przemysław Broniek 1st ed. 2015 Cham [u.a.] Springer International Publishing 2015 1 Online-Ressource (IX, 64 p. 1 illus) txt rdacontent c rdamedia cr rdacarrier SpringerBriefs in Philosophy 2211-4548 Computer science Logic Computer software Logic, Symbolic and mathematical Computer Science Algorithm Analysis and Problem Complexity Mathematical Logic and Foundations Informatik Erscheint auch als Druckausgabe 978-3-319-21749-9 https://doi.org/10.1007/978-3-319-21750-5 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161254&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
spellingShingle | Broniek, Przemysław Computational Complexity of Solving Equation Systems Computer science Logic Computer software Logic, Symbolic and mathematical Computer Science Algorithm Analysis and Problem Complexity Mathematical Logic and Foundations Informatik |
title | Computational Complexity of Solving Equation Systems |
title_auth | Computational Complexity of Solving Equation Systems |
title_exact_search | Computational Complexity of Solving Equation Systems |
title_full | Computational Complexity of Solving Equation Systems by Przemysław Broniek |
title_fullStr | Computational Complexity of Solving Equation Systems by Przemysław Broniek |
title_full_unstemmed | Computational Complexity of Solving Equation Systems by Przemysław Broniek |
title_short | Computational Complexity of Solving Equation Systems |
title_sort | computational complexity of solving equation systems |
topic | Computer science Logic Computer software Logic, Symbolic and mathematical Computer Science Algorithm Analysis and Problem Complexity Mathematical Logic and Foundations Informatik |
topic_facet | Computer science Logic Computer software Logic, Symbolic and mathematical Computer Science Algorithm Analysis and Problem Complexity Mathematical Logic and Foundations Informatik |
url | https://doi.org/10.1007/978-3-319-21750-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161254&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161254&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT broniekprzemysław computationalcomplexityofsolvingequationsystems |